V-model verification and validation for embedded products: independent QA and testing, embedded software quality assurance, and V&V methodologies explained.