Added first draft of Papyrus/ERTMSFormalSpecs/eclipse-polarsys proposal