Models to Code - Leon Starr, Andrew Mangogna, Stephen Mellor (Springer, 2017)