Automata based modelling and simulation - application in an industrial software environment