@article{HS07,
title = {The Discipline of Embedded Systems Design },
author = {Henzinger, Thomas A. and Sifakis, Joseph},
year = {2007},
journal = {IEEE Computer},
number = {10},
pages = {32-40},
volume = {40},
team = {DCS, RSD},
}
