Automatic generation of executable assertions for runtime checking temporal requirements | IEEE Conference Publication | IEEE Xplore