A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems | IEEE Conference Publication | IEEE Xplore