Quality Assurance of Cyber-Physical and Embedded Systems