Books by Committee on Certifiably Dependable Software Systems