Ananidou, Dimitra,Hassapis, George,Kleftouris, Dimitrios, Evaluation of real-time software design with the aid of a petri net template model, 30-41, 2000, World Scientific,