Product Focus: Embedded Software Focused On Code ‘Correctness,’ Security