Labelled Transition System Analyser
