Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, M., & Ničković, D. (2022). Adaptive testing for specification coverage and refinement in CPS models. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 46, Article 101254. https://doi.org/10.1016/j.nahs.2022.101254