Author: Committee on Certifiably Dependable Software Systems