Stefan Leue Specifying real-time requirements for SDL specifications - a temporal logic-based approach. 19-34 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#Leue95