On the use of MiniCPS for conducting rigorous security experiments in Software-Defined Industrial Control Systems | Publicación