Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford. Assurance via model transformations and their hierarchical refinement. In Andrzej Wasowski, Richard F. Paige, Øystein Haugen, editors, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. pages 426-436, ACM, 2018. [doi]
Abstract is missing.