RT-FRORL: a formal requirements specification language for specifying real-time systems.

Jeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger

Browse the full COMPSAC paper archive.