"Predicting Space Requirements for a Stream Monitor Specification Language."

David M. Cerna, Wolfgang Schreiner, Temur Kutsia (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics