related documents Case Studies in Model Manipulation for Scientific Computing Conference Paper High-Level Theories Conference Paper