FlexColLab: A Tool for the Flexible Design of Online Collaborative Learning Activities Based on the Adaptation Patterns | IEEE Conference Publication | IEEE Xplore