Modeling and Machine-Checking Bump-in-the-Wire Security for Industrial Control Systems. - Mehdi Sabraoui; Jeffrey L. Hieb; Adrian P. Lauf; James Graham (Critical Infrastructure Protection, 2019)