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:

http://www.galois.com/~leepike/fm-galois.pdf

nah, no sources, but its the quintessential application of haskell

C. For the non-control and more fucking your shit up systems