Added README for ERTMSFormalSpecs model evaluation