Stefan Andrei Albert M. K. Cheng Verifying Linear Real-Time Logic Specifications. 333-342 2007 RTSS http://doi.ieeecomputersociety.org/10.1109/RTSS.2007.53 conf/rtss/2007 db/conf/rtss/rtss2007.html#AndreiC07