RT-FRORL: a formal requirements specification language for specifying real-time systems. - Jeffrey J. P. Tsai; Hung-Chin Jang; Karen J. Schellinger (COMPSAC, 1991)