Pao-Ann Hsiung, Farn Wang. A State Graph Manipulator Tool for Real-Time System Specification and Verification. In 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA 98), 27-29 October 1998, Hiroshima, Japan. pages 181-188, IEEE Computer Society, 1998. [doi]
Abstract is missing.