Specification of reactive hardware/software systems by J.P.N. Voeten & P.H.A. van der Putten