LoTuS is a tool for graphic behaviour modelling of software using LTS