CORAMOD: a checklist-oriented model-based requirements analysis approach. - William Brace; Kalevi Ekman (Requir. Eng., 2014)