Towards TCTLhΔ model checking of time Petri nets | IEEE Conference Publication | IEEE Xplore