ZANDER, J. et.al MODEL - BASED TESTING FOR EMBEDDED SYSTEMS - Boca Raton CRC 2012 - xxv+660p.,24x18Cm. ISBN: 978143981845 Dewey Class. No.: 621.3819642 Z273