"Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon)" - читать интересную книгу автора (Abhik Roychoudhury M.S. and Ph.D. in Computer Science from the State University...)