Toward a cyber-physical topology language: applications to NERC CIP audit. - Gabriel A. Weaver; Carmen Cheh; Edmond Rogers; William H. Sanders; Dennis Gammel (SEGS@CCS, 2013)