Instrumentation of Synchronous Reactive Models for Performance Engineering. - Alberto Valderruten Vidal; Manuel Vilares Ferro; Jorge Graña Gil (ESEC, 1995)