Formalisierung von Anforderungen mit Requirements-in-the-Loop