Moon-hae Kim, Yong-Min Park, Seung-Min Yang, Jong-Kook Park. Modeling of a highly reliable real-time distributed system using the RTO.k model and the monitor object. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 48-55, IEEE Computer Society, 1997. [doi]
Abstract is missing.