Introduction to Embedded Systems: A Cyber-Physical Systems Approach (The MIT Press)