Closing the Loop Towards a theory for High Confidence Cyber Physical Systems for Societal Systems Songhwai Oh (Seoul Natl.), Saurabh Amin, Alvaro Cardenas.