Automated transformation and verification (methodology and toolchain)

Output of Task 10.8, this deliverable will consist of a proposed methodology and toolchain to automate transformation of specification models, and to perform formal verification of such models. A proposal for how to integrate this process into the EULYNX/RCA MBSE approach will be described, together with a verification report created for the RCA component selected and verified against user-supplied properties.