Design principles for embedded systems - Murti, KCS (Springer, 2022)