Proposed Methodologies based on FMs Guidebook

Output of Task 14.2, this deliverable will describe proposed methodologies based on the recommendations and structure in the FMs Guidebook, including two parts I and II. Part 1: Proposed methodology to represent an executable behavioural model in the form of suitable atomic functional requirements for standard tender specifications. Part II: Proposing a methodology enabling to create semiformal/formal specification of interlocking logic, and its representation in the form of suitable atomic functional requirements for standard tender specifications.