DESIGN METHODS FOR REACTIVE SYSTEMS - Wieringa,R J (Morgan Kaufmann, San Diego, 2003)
Keywords: Computer Software -- Development; System Design