A Temporal Logic-Based Model of Event-Driven Nets. - Viktor Cingel; Norbert Fristacky (Real Time Syst., 1991)

A Graph-Based Method for Timing Diagrams Representation and Verification. - Viktor Cingel (CHARME, 1993)

An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework. - Viktor Cingel; P. Fric (Comput. Artif. Intell., 1995)