Philippe Palanque and the Interactive Critical Systems research group at Toulouse [1] have been ploughing this furrow for years, on the academic side but with i

Philippe Palanque and the Interactive Critical Systems research group at Toulouse [1] have been ploughing this furrow for years, on the academic side but with industrial applications mainly in avionics. So this kinda stuff is happening, but it's still niche. See e.g. [2] for more on one of the Petri-net-based formalisms they're using. [1] https://www.irit.fr/recherches/ICS/ https://www.irit.fr/recherches/ICS/ [2] https://www.irit.fr/recherches/ICS/softwares/petshop/ico.html https://www.irit.fr/recherches/ICS/softwares/petshop/ico.htm...