Compositional ioco using model-based mocking. - Jore J. Booy; Jeroen J. A. Keiren; Machiel van der Bijl (BENEVOL, 2023)