" Real-Time Reactive Systems Measurement Tool TROM-QM: Design and Implementation.POMPES PAR TRANSITIONS MULTIPLES "