Formalization of Advanced VOs semantics and VO Refinement

Sebastian Stock, Fabian Vu, David Geleßus +3

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.