Open Proofs Methodology for the European Train Control Onboard System
VERification-oriented & component-based model Driven Engineering for real-time embedded systems