STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS*