Checking temporal properties under simulation of executable system descriptions | IEEE Conference Publication | IEEE Xplore