FMs guidebook

Output of Task 101 this deliverable will consist of a guidebook for the use of FMs to enable increased efficiency automation and use of standards and to support a business case study of the impact and use of formal methods to achieve lowered LCC for a modular signalling system reference architecture