Lee, Edward A. <br/><br/>
Introduction to embedded systems :  a cyber-physical systems approach / 
Edward A. Lee and Sanjit Arunkumar Seshia. 
 - 2nd ed. 
 - Cambridge :  MIT Press,  c2017. 
 - 537 p. :  ill. ;  24 cm. 
<br/><br/>Introduction -- I. Modeling Dynamic Behaviors -- Continuous Dynamics -- Discrete Dynamics -- Hybrid Systems -- Composition of State Machines -- Concurrent Models of Computation -- II. Design of Embedded Systems -- Sensors and Actuators -- Embedded Processors -- Memory Architectures -- Input and Output -- Multitasking -- Scheduling -- III. Analysis and Verification -- Invariants and Temporal Logic -- Equivalence and Refinement -- Reachability Analysis and Model Checking -- Quantitative Analysis -- Security and Privacy -- IV. Appendices -- Sets and Functions -- Complexity and Computability. 
<br/><br/><label>ISBN: </label>9780262533812 2016039490 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems.
<br/><br/><label>LC Class. No.: </label>TK7895.E42  / .L445I