BP-IDS: Using business process specification to leverage intrusion detection in critical infrastructures | IEEE Conference Publication | IEEE Xplore