Author: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems