Pieter Van Gorp, Hans Schippers, Serge Demeyer, Dirk Janssens. Students can get excited about Formal Methods: a model-driven course on Petri-Nets, Metamodels and Graph Grammars. In The 3rd Educators' Symposium of the 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Symposium Proceedings. IT University of Göteberg, Department of Applied Information Technology, Göteborg, Sweden, 2007.