1. S. Balsamo and M. Marzolla. Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models. In the Proceedings of the 5th International Workshop on Software and Performance (WOSP), pages 37–42, New York, USA, 2005. ACM Press.
2. M. E. Beato, M. Barrio-Solrzano, and C. E. Cuesta. UML Automatic Verification Tool (TABU). In SAVCBS 2004 Specification and Verification of Component-Based Systems, 12th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Newport Beach, California, USA. Department of Computer Science, Iowa State University, 2004.
3. A. Bennett and A. J. Field. Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study. In the Proceedings of the 12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS), Volendam, The Netherlands, pages 67–75, October 2004.
4. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Mu noz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. An Overview of SAL. In C. Michael Holloway, editor, the Proceedings of the Fifth NASA Langley Formal Methods Workshop (LFM), pages 187–196, Hampton, VA, June 2000. NASA Langley Research Center.
5. B. S. Blanchard and W. J. Fabrycky. Systems Engineering and Analysis. International Series in Industrial and Systems Engineering. Prentice Hall, Englewood Cliffs, NJ, 1981.