MODEL BASED DESIGN FOR EMBEDDED SYSTEMS - NICLOLESCU AND MOSTERMAN (CRC, 2015)
TBH
UG