It might be a pun referencing Atom ( http://hackage.haskell.org/package/atom-1.0.11 ) which is used for control systems, but not nuclear ones, AFAIK
I honestly suspect that kind of stuff is more likely to be done in Ada.
not a nuclear control system, but embedded monitor (slide 26:
Re:Yammer moving from Scala to Java
by dustingetz on Wednesday November 30, 2011 @12:52AM
(#3293954)
nah, no sources, but its the quintessential application of haskell
Do you have any source to back that (honest question)?