This book investigates the application of statecharts for modeling reactive systems. It presents a formal framework for understanding and designing complex systems that respond to external events, drawing on Harel's seminal work in the field. The text details the theoretical underpinnings and practical implications of using statecharts, offering a rigorous approach to system design and analysis.

David Harel's work on statecharts is foundational in the field of reactive systems modeling. This book is recognized for its rigorous theoretical treatment and its impact on formal methods in computer science. It is considered a key reference for researchers and practitioners seeking to understand and implement statechart-based design.