Model-based definition of requirements to support system verification