European Set of Referenced Perception Sensor Data for Empowering Automated Driving
Open Proofs Methodology for the European Train Control Onboard System
Timing Model - TOols, algorithms, languages, methodology, USE cases