A SBIR Phase II contract was awarded to Runtime Verification (company) in August, 2021 for $749,847.0 USD from the NASA.