Monitoring and debugging of distributed real-time systems - Tsai, Jeffrey J.P; Yang, Steve J.H (Institute of Electrical and Electronics Engineers, 1995)