Embedded control system design : a model based approach (2013)