1. Model-based testing for embedded systems. (2017) Other Names: Zander, Justyna; Schieferdecker, Ina; Mosterman, Pieter J Record Type: Book Extent: 1 online resource (688 pages), (290 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗