PakCat catalogue record Model-based testing for embedded systems Bibliographic details ISBN9781439818459 PublisherCRC Press Publication placeBoca Raton Publication year2012 LanguageEnglish Physical descriptionxxvii, 660 p. : ill. ; 26 cm. Additional authorsEdited by Justyna Zander edited by Ina Schieferdecker edited by Pieter J. Mosterman