Security assurance cases for road vehicles | Synapse