Sara Bocchio Elvinia Riccobene Alberto Rosti Patrizia Scandurra Process State Machines for Behavioral Modeling of Embedded Systems. 274-281 2007 conf/sies/2007 SIES http://dx.doi.org/10.1109/SIES.2007.4297345 db/conf/sies/sies2007.html#BocchioRRS07