Closing the Loop for Medical CPS: From Verified Models to Verified Code for Medical CPS Download pdf Tags: University of Pennsylvania Human-Machine Medical CPS Workshop: Engineering Human Health - Your life Depends on IT! License: CC-2.5 Submitted by Rahul Mangharam on Wed, 11/22/2017 - 15:45