Safety Management Report (SMR)
The Agile Safety Plan for Signalling Systems
Static Code Analysis for Automotive Software
Credibility of software-in-the-loop environments for integrated vehicle function validation
What if Cars could be as Easy to Program as Smartphones are Today?
Languages for Specifying Missions of Robotic Applications
A Philosophy for Developing Trust in Self-driving Cars