1. GreatSPN, a GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets, http://www.di.unito.it/~greatspn/index.html
2. SAE, Architecture Analysis and Design Language (AADL), June 2006, as5506/1, http://www.sae.org
3. UML 2.0 Superstructure Specification, Object Management Group, Inc. (2005), http://www.omg.org/cgi-bin/doc?formal/05-07-04
4. UML Profile for MARTE beta 2, Object Management Group, Inc. (2008), http://www.omgmarte.org/Documents/Specifications/08-06-09.pdf
5. WinPEPSY-QNS, a tool for calculating performance measures of Queueing Networks, http://www7.informatik.unierlangen.de/prbazan/pepsy