INAN K.
Joint Workshop on Discrete Event Systems (WODES 92), PRAGUE, Czech Republic, 26 - 28 August 1992, vol.13, pp.29-41