Specification and Compilation of Real-Time Stream Processing Applications. - Stephanus Joannes Geuns (2015)