Validation of Industrial Automation Systems Using a Timed Model of System Requirements | IEEE Journals & Magazine | IEEE Xplore