FMs guidebook second intermediate issue

Output of Task 10.1, 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. The guidebook will be issued in two incremental draft versions, before the final issue. This is the second of it.