"SMT-based optimization for synchronous programs."

Yu Bai, Jens Brandt, Klaus Schneider (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics