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)
P. Ebel, F. Brokhausen, and A. Vogelsang. 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, page 141–150. New York, NY, USA, Association for Computing Machinery, (2020)
