Object-Oriented Modelling and Specification using SHE M. Geilen, J. Voeten Information and Communication Systems Department of Electrical Engineering Eindhoven University…