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