A Framework for Vulnerability Detection in European Train Control Railway Communications | Publicación