In EULYNX the European Infrastructure Managers define an internationally standardised signalling system, focusing on common interfaces. EULYNX uses model-based system engineering (MBSE). Infrastructure managers define the appropriate use case descriptions. Modeling experts convert the Use Cases into various SysML model types. The video explains the methods in which modelling and system engineering expertise is combined with signalling expertise. Furthermore the video explains that the analysis of the formal model can be derived from the SysML model.