Synthesis of Timing Scenarios for Embedded Systems using Modular Petri nets

WSEAS International Conference on Computer Engineering and Applications, Gold Coast, Australia, pp. 158-163, Jan. 2007