Download of FSE-JOURNAL-LibAndPay-V2.lts (FSE-JOURNAL-LibAndPay-V2.lts ( external link: SF.net): 3,142 bytes) will begin shortly. If not so, click link on the left.
The Modal Transition Analyser (MTSA) is a joint research effort of the Distributed Software Engineering (DSE) group at Imperial College London and the Laboratory on Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos Aires