@phdthesis{Jacobs_DPHIL2015,
  title = "A Formal Refinement Framework for the Systems Modeling Language",
  author = "J. Jacobs",
  year = "2015",
  institution = "Department of Computer Science, University of Oxford",
}