A formalizing hybrid model transformation approach for collaborative system | IEEE Conference Publication | IEEE Xplore