Next Gen System Design and Verification for Transportation

Author(s):
Bryan Ramirez, Petri Solanti and Richard Pugh