A Formalism and a Tool for Diverging Requirements in VR Scenario Modeling