Inquiry- and Research-based Teaching in a Course on Model Checking