Interesting. That’s a different world from the business, or development tool, projects I have ever worked on.
Never worked on any real time stuff. Looks like they are very big on using a flat finite state machine model. At least at Saab. I’m guessing they didn’t use C++, either, but who knows.