Text this: Specification of reactive hardware/software systems :