Verification and Validation of Embedded Software Systems