B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng., 17 259-273, 1991.
author author author author author title title title title title title title title title title title journal journal journal journal volume pages date