Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications | IEEE Journals & Magazine | IEEE Xplore