%0 Journal Article
%K Formal methods
%K safety-critical software
%K software development process
%K software tools
%K verification
%B Information & Security: An International Journal
%D 2012
%G eng
%N 2
%P 223-235
%R http://dx.doi.org/10.11610/isij.2818
%T Formal Verification of Nuclear Systems: Past, Present, and Future
%V 28
%8 2012