J. Winkler, and A. Vogelsang. Requirements Engineering: Foundation for Software Quality (REFSQ), page 57--71. Cham, Springer International Publishing, (2018)
A. Vogelsang, A. Fehnker, R. Huuck, and W. Reif. 12th International Conference on Formal Engineering Methods (ICFEM), volume 6447 of Lecture Notes in Computer Science, page 485--500. Springer, (2010)