1. Bauer, B., Extending UML for the Specification of Agent Interaction Protocols, OMG document ad/99-12-03, FIPA submission to the OMG’s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled “UML2.0 RFI”, December 1999.
2. Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide, The Addison-Wesley Object Technology Series, Addison-Wesley, 1999.
3. Castro, J., Kolp, M. and Mylopoulos, J., “A Requirements-Driven Development Methodology”, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE’01), Interlaken, Switzerland, June 2001.
4. Chung, L. K., Nixon, B. A., Yu, E. and Mylopoulos, J., Non-Functional Requirements in Software Engineering, Kluwer Publishing, 2000.
5. Clarke, E., Grumberg, O. and Peled, D., Model Checking, MIT Press, 1999.