MTSA: The Modal Transition System Analyser | IEEE Conference Publication | IEEE Xplore