Formal Methods for Safe Design and Verification of Transportation Systems