Validation of reactive embedded systems against temporal requirements | IEEE Conference Publication | IEEE Xplore