Model Based Definition