Los-Cost Avionics System for Ultra-Light Aircrafts. - Ondrej Spinka; Jan Krakora; Michal Sojka; Zdenek Hanzálek (ETFA, 2006)

Testing of Hybrid Real-time Systems Using FPGA Platform. - Jan Krakora; Zdenek Hanzálek (IES, 2006)

FPGA based tester tool for hybrid real-time systems. - Jan Krakora; Zdenek Hanzálek (Microprocess. Microsystems, 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)