Checking Critical Software Systems: A Formal Proposal | Publicación