[1] T. Zameni, P. van Den Bos, J. Tretmans, J. Foederer and A. Rensink, "From BDD Scenarios to Test Case Generation," 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Dublin, Ireland, 2023, pp. 36-44, doi: 10.1109/ICSTW58534.2023.00019. URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10132208&isnumber=10132158
[2] Gijs van Cuyck, Lars van Arragon and Jan Tretmans. Compositionality in Model-Based Testing. 2023, Springer-Verlag, Berlin, Heidelberg, 10.1007/978-3-031-43240-8_13, Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings, 202–218. URL: https://link.springer.com/chapter/10.1007/978-3-031-43240-8_13