Francesco Basile Pasquale Chiacchio Jolanda Coppola Real time identification of Time Petri net faulty models. 280-285 2015 CASE https://doi.org/10.1109/CoASE.2015.7294076 conf/case/2015 db/conf/case/case2015.html#BasileCC15