Testbare Anforderungen modellbasiert spezifizieren - Ergebnisse eines Studentenexperiments.