POOSL. An object-oriented specification language for the analysis and design of hardware/software systems - Voeten, J. P. M. (University of Technology, 1995)