My primary mission in this book is to offer a simple, lightweight alternative to a design automation tool by providing concrete, efficient, and proven implementations of statecharts that every practitioner reasonably proficient in C or C++ can st