EVP: Integration of FDTs for the analysis and verification of communication protocols | Publicación