software testing for microcontroller aplications
Software Design for Safety Critical Microcontroller Applications