Prototype of a toolset for specification-based functional security testing of CPS

Summary
The toolset will rely on high-level specifications of attacks and security properties to automate security testing.