Analysis of Real Time Operating System Based Applications. - Libor Waszniowski; Zdenek Hanzálek (FORMATS, 2003)

Processor Expert Enhances Matlab Simulink Facilities for Embedded Software Rapid Development. - Roman Bartosinski; Zdenek Hanzálek; Libor Waszniowski; Petr Struzka (ETFA, 2006)

Integrated Environment for Embedded Control Systems Design. - Roman Bartosinski; Zdenek Hanzálek; Petr Struzka; Libor Waszniowski (IPDPS, 2007)

Formal verification of multitasking applications based on timed automata model. - Libor Waszniowski; Zdenek Hanzálek (Real Time Syst., 2008)

Case study on distributed and fault tolerant system modeling based on timed automata. - Libor Waszniowski; Jan Krakora; Zdenek Hanzálek (J. Syst. Softw., 2009)