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

Formal Verification of Timing Rules in Design Specifications. - Tibor Bartos; Norbert Fristacky (FPL, 1994)

Verifying Timing Consistency in Formal Specifications. - Tibor Bartos; Norbert Fristacky (IEEE Des. Test Comput., 1996)

On the history of computer science, computer engineering, and computer technology development in Slovakia. - Jozef Dujnic; Norbert Fristacky; Ludovít Molnár; Ivan Plander; Branislav Rovan (IEEE Ann. Hist. Comput., 1999)

Functional Verification for UML-Based Model Driven Design of Embedded Systems. - Martin Kardos; Norbert Fristacky (IESS, 2005)