" A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State MachinesET C A L I B ~ &RIQUEMENTET C A L I B ~&RIQUEMENT.POMPES PAR TRANSITIONS MULTIPLES "