Testing complex and embedded systems - Pries, Kim H. (CRC Press, 2011)