Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij. Sequential specification of time-aware stream processing applications (Extended abstract). In IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, ESTIMedia 2012, Tampere, Finland, October 11-12, 2012. pages 56, IEEE Computer Society, 2012. [doi]
Abstract is missing.