The CAT problem space: Combining collaborative real-time algorithms and asynchronous transformations for collaborative modelling | IEEE Conference Publication | IEEE Xplore