1. ATLAS group: KM3: Kernel MetaMetaModel Manual, version 0.3 (2005)
2. Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295–310 (2004)
3. Lecture Notes in Computer Science;G. Batori,2005
4. Bernardi, S., Petriu, D.C.: Comparing two UML profiles for non-functional requirement annotations: the SPT and QoS profiles. In: International Workshop Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS), Lisbone, Portugal (2004)
5. Bézivin, J., Jouault, F.: Using ATL for checking models. Electron Notes Theor. Comput. Sci. 152, 69–81 (2006)