Statecharts: a visual formalism for complex systems 1987 | NiceBooksReads