Automating timed specification transparency for human designer validation of real-time discrete-event control requirements | IEEE Conference Publication | IEEE Xplore