Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based SystemsJonathan Sprinkle, Roy Sterritt, Karin BreitmanJan 2011