Internal model control-based adaptive attitude tracking
Urban traffic control and path planning for vehicles in game theoretic framework
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
Pitfalls of engineering change - change practice during complex product design
Common law safety case approaches to safety critical systems assurance