First IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11)

6-8 June, 2012, Halmstad University, Halmstad, Sweden.