I am on the phone. Ada Core, Atego, Green Hills. The fourth one cannot remember from the top of my head.

Both Ada Core and Atego provide IDEs.