Erik Kamsties Antje von Knethen Jan Philipps Bernhard Schätz An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements. 125-147 2005 Information Modeling Methods and Methodologies db/books/collections/Siau2005.html#KamstiesKPS05 books/idea/Siau05