Books by England) IEEE International Conference and Workshop on the Engineering of Computer Based Systems (17th 2010 Oxford on BookTides.