Generative programming with support for formal verification. - Marek Paska (SIES, 2009)

An approach to generating C code with proven LTL-based properties. - Marek Paska (EUROCON, 2011)

Simulation Testing and Model Checking: A Case Study Comparing these Approaches. - Richard Lipka; Marek Paska; Tomas Potuzak (SERENE, 2014)