Hey, take a look at http://university.adacore.com/ and http://www.academia.edu/2490736/Integrating_8-bit_AVR_Micro-...