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)
L. Álvarez, S. Rudolph, and H. Straß. Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, page 3258--3267. ijcai.org, (2023)