Learning to predict train wheel failures
Requirements of an integrated formal method for intelligent swarms
An approach to the pervasive formal specification and verification of an automotive system
Echo: a practical approach to formal verification
Instantiating generic charts for Railway Interlocking Systems
Onboard classifiers for science event detection on a remote sensing spacecraft
CAN-based distributed real-time control in hybrid electric vehicles
Contactless CAN interface - a standard for aftermarket automotive
Fibex gateway configuration tool chain