Simon: A Domain-Agnostic Framework For Secure Design And Validation Of Cyber Physical Systems