A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs | IEEE Journals & Magazine | IEEE Xplore