Semantics and Logic for Provable Fault-Tolerance, A Tutorial | Publicación