本书介绍了状态机的基本概念，并结合statemate开发软件详细阐述了基于状态机的嵌入式软件开发方法。该书的作者David Harel是UML中状态机的开创者，该书的重要性可见一斑。-This book introduces the basic concept of statemachine and details the development method using statemate software. David Harel, author of the book is the inv