"Embedded systems and software validation" - читать интересную книгу автора (Abhik Roychoudhury M.S. and Ph.D. in Computer Science from the State University...)