Monitoring and debugging of distributed real-time systems - Tsai, Jeffrey J.-P. (IEEE Computer Society Press, 1995)