Systematic Software Engineering
Programming Embedded Systems with Lego Mindstorms
Methods of Empirical Software Engineering
Introduction to Embedded Systems
Programming Embedded Hardware
Dynamic Systems for Computer Scientists