Alberto Valderruten Vidal Manuel Vilares Ferro Jorge Graña Gil Instrumentation of Synchronous Reactive Models for Performance Engineering. 76-89 1995 conf/esec/1995 ESEC db/conf/esec/esec95.html#VidalFG95