The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles