ERTMSFormalSpecs covers 100% of Specifications