Next Gen System Design and Verification for Transportation Author(s): David Aerne, Jacob Wiltgen, and Richard Pugh Download
