U. von Zadow, and R. Dachselt. Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, page 2639–2647. New York, NY, USA, Association for Computing Machinery, (2017)
P. Ebel, K. Gülle, C. Lingenfelder, and A. Vogelsang. Adjunct Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, New York, NY, USA, Association for Computing Machinery, (2022)
J. Tiemann, M. McGinity, I. Sbalzarini, and U. Günther. Extended Abstracts of the 2024 CHI Conference on Human Factors in Computing Systems, New York, NY, USA, Association for Computing Machinery, (2024)
T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, and M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, page 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
