Distributed real-time systems : monitoring, visualization, debugging, and analysis - Tsai, Jeffrey J.-P. (Wiley-Interscience Publication, 1996)