The enabling model. A tool for performance analysis of concurrent mechanisms - Kloosterhuis, Willem Egbert Hendrik (Technická univerzita, 1991)