Leveraging composability in model-based testing for microservices. - Bas van den Brink; Tannaz Zameni; Ulyana Tikhonova; Lammert Vinke; Ana-Maria Oprescu (BENEVOL, 2022)