Introduction to embedded systems
Electrical Foundations of Computer Science
Applying Formal Verification Methods to Embedded Systems
Introduction to embedded systems
Modeling Technical and Physical Systems
Safety and Reliability Engineering