Model checking of safety-critical software in the nuclear engineering domain. - Jussi Lahtinen; J. Valkonen; Kim Björkman; J. Frits; Ilkka Niemelä; Keijo Heljanko (Reliab. Eng. Syst. Saf., 2012)