1. Aguirre, N., Maibaum, T.S.E., 2002. A temporal logic approach to component based system specification and reasoning. In: Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, Orlando, FL.
2. The SAVE approach to component-based development of vehicular systems;Åkerholm;Journal of Systems and Software,2007
3. Aldrich, J., 2003. Using Types to Enforce Architectural Structure. Ph.D. Thesis, Computer Science and Engineering Dpt., Washington University.
4. Aldrich, J., 2005. Open modules, modular reasoning about advice. In: Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), Glasgow, UK, July 25–29, 2005, vol. 3586. Springer, pp. 144–168.
5. Allen,R., 1997. A Formal Approach to Software Architecture. Ph.D. Thesis, School of Computer Science, Carnegie Mellon University.