Technische universität dortmund fakultät für informatik informatik 12 Embedded System Design (Embedded Systems Foundations of Cyber-Physical Systems) Peter.