AdaCore produces a good product and their technical team is top notch.