@inproceedings{1042973, title = "Evaluation of real-time software design with the aid of a petri net template model", author = "Ananidou, Dimitra and Hassapis, George and Kleftouris, Dimitrios", year = "2000", pages = "30-41", publisher = "World Scientific", booktitle = "Advances in informatics. 7th Hellenic Conference on Informatics (HCI '99)" }