Text this: Formal development of reactive systems :