Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation | IEEE Conference Publication | IEEE Xplore