Formal Design and Safety Analysis of AIR6110 Wheel Brake System. - Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; David Jones; Greg Kimberly; T. Petri; R. Robinson; Stefano Tonetta (CAV (1), 2015)