Toward a cyber-physical topology language: applications to NERC CIP audit.

Gabriel A. Weaver, Carmen Cheh, Edmond Rogers, William H. Sanders, Dennis Gammel

Browse the full CCS paper archive.