On-line monitoring of real-time systems. - Janusz Sosnowski; J. Parlinski (RTS, 1992)