Kyo Chul Kang, Kwang-Il Ko. PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. In First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994. pages 328-335, IEEE, 1994. [doi]
Abstract is missing.