1. OMG MARTE, Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems, Beta 1, 2007
2. R. Wuyts, S. Ducasse, Non-functional requirements in a component model for embedded systems, in: International Workshop on Specification and Verification of Component-Based Systems, OOPSLA, 2001
3. Recoverability of communication protocols: Implicatons of a theoretical study;Merlin;IEEE Transactions on Communications,1976
4. J. Merseguer, J. Campos, E. Mena, Performance evaluation for the design of agent-based systems: A Petri Net approach, in: Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets, 2002, pp. 1–20
5. P. King, R. Pooley, Using UML to derive stochastic Petri Net models, in: Proceedings of the Fifteenth Annual UK Performance Engineering Workshop, 1999, pp. 45–56