Programming autonomous behavior of AMM network data concentrator by timed automata. - Lukas Krejci (IDAACS, 2015)

Framework and Automated Prioritization Procedure for Model-Based Testing of Automotive Distributed Systems. - Lukas Krejci; Jirí Novák (DATESO, 2017)

Model-based testing of automotive distributed systems with automated prioritization. - Lukas Krejci; Jirí Novák (IDAACS, 2017)

Programming Autonomous Behavior of Reactive Metering Systems by Timed Automata. - Lukás Krejcí (Int. J. Comput., 2017)

Software Platform for Automotive Radar Target Simulator. - Lukás Krejcí; Jirí Novák; Jan Sobotka (MetroAutomotive, 2021)