Books by International Symposium on Software Reliability Engineering (12th 2001 Hong Kong, China)