@proceedings{Leany:2007aa,
Editor = {Leany, J. and Rozenblit, J.W. and Peng, J.},
Publisher = {IEEE Press},
Title = {Proceedings of the 2007 IEEE International Conference and Workshop on the Engineering of Computer Based Systems},
Year = {2007}}