Design Principles for Embedded Systems (Transactions on Computer Systems and Networks)