Statecharts: A visual formalism for complex systems