modeling tool to explore our editing, browsing and simulation paradigms in the design of complex reactive systems. An empirical … study on the usability and practicability of our Statechart editing techniques, including a Statechart layout comparison …