Formalizing Time Petri Nets with Metric Temporal Logic using Promela | IEEE Conference Publication | IEEE Xplore