Moved ERTMSFormalSpecs strength to section 4 in ERTMSFormalSpecs SWOT