1. Apvrille, L., de Saqui-Sannes, P., Khendek, F.: TURTLE-P: Un profil UML pour la validation d’architectures distribuees. In: Colloque Francophone sur l’Ingńierie des Protocoles (CFIP), Paris, France, October 2003, Hermes, Paris (2003)
2. Baarir, S., Haddad, S.: Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems. In: Proceedings of the 7th Workshop on Discrete Event Systems (WODES’04), Reims, France, Sept. (2004)
3. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York (1996)
4. Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specifications of corba services: Experience and lessons learned. In: Proceedings of the ACM Conference on Object-Oriented Programmng, Systems, Languages and Applications (00PSLA’2000), Minneapolis, Minnesota, USA, ACM Press, New York (2000)
5. Budden, T.J.: Decision Point: Will Using a COTS Component Help or Hinder Your DO-178B Certification Effort. STSC CrossTalk, The Journal of Defense Software Engineering (November 2003)