1. Boger, M., Sturm, T., Schildhauer, E., Graham, E.: Poseidon for UML Users Guide. Gentleware AG (2003), Available under, http://www.gentleware.com
2. Boiten, E., Bowman, H., Derrick, J., Linington, P., Steen, M.: Viewpoint Consistency in ODP. Computer Networks 34(3), 503–537 (2000)
3. Lecture Notes in Computer Science;E. Boiten,1997
4. Cheng, B., Campbell, L., Wang, E.: Enabling Automated Analysis Through the Formalization of Object-Oriented Modeling Diagrams. In: Proceedings of IEEE International Conference on Dependable Systems and Networks, pp. 433–442. IEEE Computer Society, Los Alamitos (2000)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)