The Labelled Transition Systems Extractor tool project