An Automated Framework for Formal Verification of Timed Continuous Petri Nets | IEEE Journals & Magazine | IEEE Xplore