Eliciting requirements and scenarios using the SCTL-MUS methodology