Great Mind's Think Alike ............
Jack Ganssle in his series "Build Better Firmware Faster" and got the same reaction as you did. Especially for Ada. But the Beancounters just can't even stand The writing the Spec. part.
I have three words for embedded C++ "Death by Pointers".
From the Republic of Texas!
Quick call Homeland Insecurity!