Analytic method for automatic test case generation for Function Block Diagram. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Tomás Myslivec; Milan Stetina (ETFA, 2020)

Model Checking application on Function Block Diagram model. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Tomás Myslivec; Milan Stetina (ETFA, 2020)

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Jindrich Wolf (ETFA, 2022)