Open Proofs Methodology for the European Train Control Onboard System
Timing Model - TOols, algorithms, languages, methodology, USE cases