A safety critical computer system in a railway application
A topological model based on railway capacity to manage periodic train scheduling
WISE expert: An expert system for monitoring ship cargo handling
Towards a unified approach to safety and security in automotive systems
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Domain dependent distributed models for railway scheduling