Model-based design for embedded systems (CRC Press, 2010)
Includes bibliographical references and index