MTSA: Eclipse support for modal transition systems construction, analysis and elaboration