An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables | IEEE Journals & Magazine | IEEE Xplore