Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) - Putten, Petrus Henricus Antonius van der, 1948- (Technische Universiteit Eindhoven, 1997)