related documents Formal methods in the classroom: the logic of real-time software design Conferences