1. AMICE (1993). Consortium AMICE. CIMOSA: Open architecture for CIM. Berlin: Springer.
2. Barden, R., Stepney, S., & Cooper, D. (1994). Z in practice. Prentice Hall.
3. Bernus, P., Mertins, K., & Schmidt, G. (Eds.). (1998). Handbook on architectures of information systems. International handbook on information systems. Springer.
4. Deductive verification of real-time systems using SteP;Bjorner;Theoretical Computer Science,2001
5. Braesch, C., Haurat, A., & Beving, J. M. (1995). L’entreprise-système in La modélisation systémique en entreprise (in French). Paris: Hermès.