Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)