Joseph Andrew Giampapa is a Senior Member of the Technical Staff at Carnegie Mellon University's Software Engineering Institute. He leads research and development efforts that leverage his expertise in autonomous agents and multi-agent systems (AAMAS), robotics, agent-based modeling and simulation (ABMS), artificial intelligence (AI), and language technologies, for the purposes of achieving understanding, control, predictability and justified confidence in the behavior of distributed, autonomous, and socio-technical computer systems. The background for his presentation is derived from a DOE research project that he leads, “Designing SCADA Systems for the Self-Verifiability of Their Security & Survivability”.