Modeling of a highly reliable real-time distributed system using the RTO.k model and the monitor object. - Moon-hae Kim; Yong-Min Park; Seung-Min Yang; Jong-Kook Park (WORDS, 1997)