An investigation of use case quality in a large safety-critical software development project. - Bente Anda; Kai Hansen; Gunhild Sand (Inf. Softw. Technol., 2009)