On isolation-driven automated module decomposition. - Tomás Cerný; Filip Sedlisky; Michael J. Donahoo (RACS, 2018)