Improved Region-Based TCTL Model Checking of Time Petri Nets. - Mohammad Esmail Esmaili; Reza Entezari-Maleki; Ali Movaghar 001 (J. Comput. Sci. Eng., 2015)