Email Record: Fault tree analysis of a first example automated freeway /