Model-based testing for embedded systems (Taylor & Francis, CRC Press, 2012)
Includes bibliographical references and index