{"repository":{"language":"C#","description":"ERTMSFormalSpecs provides a 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.","owner":"stanpinte","watchers":1,"stargazers":1,"open_issues":3,"has_issues":true,"has_downloads":true,"fork":false,"size":94932,"pushed_at":"2013-01-02T06:48:06-08:00","forks":0,"created_at":"2012-10-16T00:48:54-07:00","homepage":"http://www.ertmssolutions.com/ertms-formalspecs/","private":false,"has_wiki":true},"actor_attributes":{"company":"ERTMS Solutions","type":"User","location":"Brussels","email":"ccd92bd6978ab8ec96f2bf8706e13a3ae4d726de@ertmssolutions.com","name":"Svitlana Lukicheva"},"url":"https://github.com/stanpinte/ERTMSFormalSpecs/issues/51#issuecomment-11810270"}