Concept-based Design of Embedded Systems by Waseem Ahmed