Olga Groh Harun Baraki Alexander Jahl Kurt Geihs COOP - AutomatiC ValidatiOn of EvOlving Microservice ComPositions. 2019 SATToSE https://ceur-ws.org/Vol-2510/sattose2019_paper_4.pdf conf/sattose/2019 db/conf/sattose/sattose2019.html#GrohBJG19