1. Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, César Muñoz, Sam Owre, Harald Rueß, John Rushby, Vlad Rusu, Hassen Saïdi, N. Shankar, Eli Singerman, and Ashish Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187–196, Hampton, VA, June 2000. Available at
http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/
.
2. N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H.B. Simpa, and T.E. Uribe. Step: The stanford temporal prover-user’s manual. Technical Report STAN-CS-TR-95-1562, Department of Computer Science, Stanford University, November 1995.
3. B. Eichenauer and M. Zelm. Transformation of cimosa-models into petrinet-models with pace. Technical report, 1999.
http://www.ibepace.com
.
4. R. Esser. An Object Oriented Petri Net Approach to Embedded System Design. Phd dissertation, ETH Zurich, 1996.
5. R. Esser, J.W. Janneck, and M. Naedele. Using an object-oriented petri net tool for heterogeneous systems design: A case study. In Proceedings of Algorithmen und Werkzeuge fur Petrinetze, 1997.