Modeling of a highly reliable real-time distributed system using the RTO.k model and the monitor object.