1. Bastide, R., Palanque, P., Le Duc, H., Munoz, J.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: Proceedings Design, Specification and Verification of Interactive Systems DSV-IS 1998, pp. 171–191. Springer, Heidelberg (1998)
2. Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000), pp. 105–117. ACM Press, New York (2000)
3. Johnson, C.W.: Handbook of Accident and Incident Reporting. Glasgow University Press (2003)
4. Genrich, H.J.: Predicate/Transitions Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Levels Petri-Nets: Theory and Application., pp. 3–43. Springer, Berlin (1991)
5. Haiko, S., Lehto, E., Virvaldo, T.: Modelling of Water Hammer Phenomenon- Based Pressure Intensifier,
http://www.callisto.si.usherb.ca/~fluo2000/PDF/Fl_078.pdf
(Last accessed 23/2/05)