1. Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)
2. Abadi M., Lamport L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991)
3. Abadi M., Lamport L.: An old-fashioned recipe for real time. ACM ToPLaS 16(5), 1543–1571 (1994)
4. Abadi M., Lamport L.: Conjoining specifications. ACM ToPLaS 17(3), 507–534 (1995)
5. Aigner, R., Pohl, C., Pohlack, M., Zschaler, S.: Tailor-made containers: Modeling non-functional middleware service. In: Bruel, J.-M., Georg, G., Hussmann, H., Ober, I., Pohl, C., Whittle, J., Zschaler, S. (eds.) Workshop on Models for Non-functional Aspects of Component-Based Software (NfC’04) at UML conference 2004, September 2004. Technical Report TUD-FI04-12 Sept.2004 at Technische Universität Dresden