Title: From Model to Implementation