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