AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform