Basagiannis, Stylianos, et al. “Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)”. Electronic Communications of the EASST, vol. 79, May 2021, doi:10.14279/tuj.eceasst.79.1125.