Qualification of safety-critical systems in TVO nuclear power plants. - Juha Halminen; Risto Nevalainen (Softw. Process. Improv. Pract., 2007)