Design Principles for Embedded Systems - Murti, KCS (Springer, 2022)