Quality Assurance in the Design of Nuclear Power Plants