CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. - Jan Martijn E. M. van der Werf; Lucas Steehouwer (Petri Nets, 2019)