David Formby, Sang Shin Jung, Seth Walters, Raheem A. Beyah: A physical overlay framework for insider threat mitigation of power system devices. SmartGridComm 2014: 970-975