Designing Embedded Systems with Lego Mindstorms
Introduction to Technical Computer Science
Hardware Programming
Dynamic Systems for Computer Scientists
Introduction to Embedded Systems
Application of Formal Methods in Embedded Systems Development
Mobile Embedded Devices