1. Cassandras, C.G. and Strikland, S.G. (1989). Sample Path Properties of Timed Discrete Event Systems. Proc. of the IEEE, 77, 1:59–77.
2. Cingel, V. (1990). Process of digital systems simulation formalized in temporal logic. In XII Kolloquium on Simulation of Systems, Ostrava, Czechoslovakia, pp. 25–35, (in Slovak).
3. Cingel, V. (1989). Use of the Pascal language as a means for digital systems description and their simulation. Automatizace, No. 8, pp. 213–216, (in Slovak).
4. Derezinska, A. and Miescicki, J. (1991). Application of Event-Driven Nets to the modelling of local CSMA-CD protocol. Research Report, Warsaw University of Technology, 20 pp.
5. Chiu, P.P.K. and Cheung, Y.S. (1989). Logic Simulation with Interval-Labelled Net Model. In 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, pp. 132–141.