NASA NTRS2014Spot: A Programming Language for Verified Flight SoftwareNo abstract availableFlight Systems↗