Verification of reactive system specifications with outer event conditional formula | IEEE Conference Publication | IEEE Xplore