Introduction to embedded systems : a cyber-physical systems approach - Lee, Edward Ashford (The MIT Press, 2017)