Model-based automated testing of critical PLC programs | Publicación