Ananidou, Dimitra,Hassapis, George,Kleftouris, Dimitrios, On the development of petri net template models for real time software design and verification, 50-59, 2001, Εκδοτικός Οργανισμός Λιβάνη,