Embedded systems design the ARTIST roadmap for research and development / - Bouyssounouse, Bruno.; Sifakis, J. (Springer,)