Specification and verification of real-time systems using ACSR-VP. - Sung-Mook Lim; Jin-Young Choi (RTCSA, 1997)