Title: The Model-Based Definition Handbook