Complete mapping of SCADE models with state machines