Learning Model-Based Safety-Critical System Engineering: The Fun Way