Embedded Systems Design The ARTIST Roadmap for Research and Development - Bouyssounouse, Bruno; Sifakis, Joseph (Springer Berlin Heidelberg, 2005)