Introduction to Embedded Systems : A Cyber-Physical Systems Approach - Lee, Edward A. (LeeSeshia)