Roychoudhury, A. Embedded systems and software validation - Amsterdam Elsevier 2009 - xii, 254p. ISBN: 978-0-123-74230-8