Added ERTMSFormalSpecs evaluation status