@inproceedings{aaddeb541f3342598ba295e44bcf1bf3,
title = "A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design",
author = "L.P.M. Benders",
year = "1994",
language = "English",
pages = "226--234",
booktitle = "Proc. International Workshop on Intelligent Systems and Innovative Computations",
publisher = "The Bellma Con",
note = "conference; Proc. International Workshop on Intelligent Systems and Innovative Computations, Tokyo, Japan, 1-2 August 1994 ; Conference date: 01-01-1994",
}