An efficiently checkable subset of TCTL for formal verification of transition systems with delays | IEEE Conference Publication | IEEE Xplore