Automata Tutor and what we learned from building an online teaching tool. - Loris D'Antoni; Matthew Weavery; Alexander Weinert; Rajeev Alur (Bull. EATCS, 2015)