Modeling As-is, Ought-to-be and To-be - Experiences from a Case Study in the Health Sector · Study