Certifications of critical systems - the CECRIS experience - Bondavalli, Andrea; Brancati, Francesco (River Publishers series in information science and technology., 2017)