Bazan Eixarch, E.; Betarte, G.; Luna, C. A Formal Specification of the DNSSEC Model. ECEASST 2013, 48.