Steinmetz: Toward Automatic Decomposition of Monolithic Software Into Microservices. - Jakob Löhnertz; Ana-Maria Oprescu (SATToSE, 2020)