On-the-fly TCTL model checking for Time Petri Nets using state class graphs | IEEE Conference Publication | IEEE Xplore