Modeling window execution semantics of stream processing engines. - Nihal Dindar Akin (2013)