On the regulatory side, for networks the NERC Reliability Standards for the Bulk Electric Systems of North America address similar concerns (including cyber security) in electrical grids. For highly integrated systems MILS kernels are an engineering solution e.g. to keep actuators and monitoring subsystems apart.
"There are some good people in it, but the orchestra as a whole is equivalent to a gang bent on destruction." -- John Cage, composer