Mobile Nav

11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems