Syllabus: Testing and quality control (QA) of embedded systems