We interact with a variety of Cyber Physical Systems (CPSs) in our everyday lives directly through consumer goods such as automobiles and smart homes as well as indirectly through examples including energy infrastructure ...