Rafael Ramirez. A logical approach for specification and execution of concurrent real-time systems. In 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA 97), 27-29 October 1997, Taipei, Taiwan. pages 182-185, IEEE Computer Society, 1997. [doi]
Abstract is missing.