S. Basagiannis, A. Mjeda, and G. Botterweck, “Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)”, eceasst, vol. 79, May 2021.