Falcoand Siegel. A Distributed `black Box' Audit Trail Design Specification for Connected and Automated Vehicle Data and Software Assurance. 24 June 2020.