modelverse/models/requirements_model.mvc

Requirements/UseCase {
    name = "Raise passenger window"
    scope = "System-wide"
    postconditions = "Window has stopped."
}