A discrete-event model of asynchronous quantised systems. - Dirk Förstner; Merten Jung; Jan Lunze (Autom., 2002)