1. Lecture Notes in Computer Science;M. Beek ter,2006
2. ter Beek, M., Massink, M., Latella, D., Gnesi, S.: Model Checking GroupwareProtocols. In: Darses, F., Dieng, R., Simone, C., Zacklad, M. (eds.) Co-operative Systems Design-Scenario-Based Design of Collaborative Systems. Frontiers in Artificial Intelligence and Applications, vol. 107, pp. 79–194. IOS (2004)
3. ter Beek, M., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.: Model Checking Publish/Subscribe Notification for thinkteam. In: Arenas, A., Bicarregui, J., Butterfield, A. (eds.) Proceedings of FMICS 2004. Electronic Notes in Theoretical Computer Science, vol. 133, pp. 275–294 (2005)
4. ter Beek, M., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.: A Case Study on the Automated Verification of Groupware Protocols. In: Heitmeyer, C., Pohl, K. (eds.) ICSE 2005, pp. 596–603. ACM, New York (2005)
5. Benoit, A., Cole, M., Gilmore, S., Hillston, J.: Scheduling Skeleton-Based Grid Applications Using PEPA and NWS Source. The Computer Journal 48(3), 369–378 (2005)