Sung-Mook Lim, Jin-Young Choi. Specification and verification of real-time systems using ACSR-VP. In 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA 97), 27-29 October 1997, Taipei, Taiwan. pages 135-142, IEEE Computer Society, 1997. [doi]
Abstract is missing.