Model-based specification