{"ref":"1.0.72","ref_type":"tag","master_branch":"master","description":"ERTMSFormalSpecs provides an open-source domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while retaining the  ability to be translated to executable representations by fully automated means.","pusher_type":"user"}