USENIX Security '16 - Specification Mining for Intrusion Detection in Networked Control Systems