Sequential specification of time-aware stream processing applications (Extended abstract) | IEEE Conference Publication | IEEE Xplore