Embedded systems development : from functional models to implementations (2014)