Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon)