Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool. - Alexandre V. Bystrov; I. B. Verbistskaite (PaCT, 1999)