Cosynthesis of embedded systems using coloured interpreted petri nets. - Dang S. Sananikone (1996)