You are about to access our book library "Design Methods for Reactive Systems: Yourdon, Statemate, and the UML full version" .