Marek Paska. Generative programming with support for formal verification. In IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009. pages 58-61, IEEE, 2009. [doi]
Abstract is missing.