I've worked on railway systems, but I didn't use Spark. I've seen many mentions to Spark being used in nuclear power software during conferences and presentatio

I've worked on railway systems, but I didn't use Spark. I've seen many mentions to Spark being used in nuclear power software during conferences and presentations. But I'm afraid open materials might not be available... Here you can see some real uses of Spark listed: https://www.cse.chalmers.se/edu/year/2017/course/TDA294_Formal_Methods_for_Software_Development/Lectures/Files/aw_altran_spark_slides_sept_2017.pdf https://www.cse.chalmers.se/edu/year/2017/course/TDA294_Form...