A process calculus approach to detection and mitigation of PLC malware