Embedded Systems Design : The ARTIST Roadmap for Research and Development - Bruno Bouyssounouse, Joseph Sifakis ((Lecture Notes in Computer Science))