Industrial Systems at Risk of WannaCry Ransomware Attacks