1. Barros, T., Cansado, A., Madelaine, E., Rivera, M.: Model checking distributed components: The Vercors platform. In: 3rd Workshop on FACS. ENTCS (September 2006)
2. Bruneton, E., Coupaye, T., Stefani, J.B.: The fractal component model, version 2.0-3. Technical report, Fractal team (October 2006) (February 2004),
http://fractal.objectweb.org/specification/
3. Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of Kronecker operations on sparse matrices with applications to solution of Markov models. Technical report 97-66, ICASE, Institute for Computer Applications in Science and Engineering, NASA/Langley Research Center, Hampton, VA, USA (1997)
4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. on Comp. 42(11), 1343–1360 (1993)
5. Smith, C.U., Williams, L.G.: Performance Solutions. Addison-Wesley (2002)