1. Bertolino, A., Mirandola, R.: Software performance engineering of componentbased systems. In: Proc. of Fourth International Workshop on Software and Performance WOSP 2004 (January 2004)
2. Clarke, E., Grumber, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)
3. SEI Series in Software Engineering;P. Clements,2002
4. Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K.: Anatomy of a research project in predictable assembly. In: 5th ICSE Workshop on Component-Based Software Engineering, May 2002, ACM, New York (2002)
5. de Jonge, M., Muskens, J., Chaudron, M.: Scenario-based prediction of run-time resource consumption in component-based software systems. In: Proceedings: 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction, June 2003, ACM, New York (2003)