Selection of standard interface(s)

Output of Task 5.3.1, deliverable with proposed approach to standard interfaces and interface(s) selection. The updated version will evaluate the interfaces defined in X2Rail-2 and, if possible, will select some of these interfaces where formal methods can be applied.