Verifying Hardening Techniques for Distributed Electronic Systems in Critical Applications | Publicación