@proceedings {229, title = {Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems}, year = {2011}, month = {2011}, pages = {292}, publisher = {IEEE Computer Society}, address = {Las Vegas, NV}, author = {Jonathan Sprinkle and Sterritt, Roy and Breitman, Karin} }