In automotive applications you have to use a State chart tool (i.e. Simulink Stateflow) for logic, or you more-or-less can't pass any modern software certificat

In automotive applications you have to use a State chart tool (i.e. Simulink Stateflow) for logic, or you more-or-less can't pass any modern software certifications. So if you are asking "will state charts make my software more reliable" => then the industry response is a large renouncing yes. The unanimous opinion is that they are the foundation of systems analysis and reliability. I think it would be a good day when someone builds a React front-end for Simulink Stateflow that exports JS the same way we export C for automotive.