A model-based development flow from the concept phase to hardware and software implementation, ending with system verification, results in improved efficiency and quality in the process. Procedures ...