Teaching Formal Methods