Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. - Alberto Valderruten; Javier Mosquera; Víctor M. Gulías (Computer Performance Evaluation (Tools), 1998)