A. Mjeda and Botterweck, G., “Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges”, ECEASST, vol. 77. 2019, doi: 10.14279/tuj.eceasst.77.1111.