Sander Stuijk Twan Basten Analyzing concurrency in streaming applications. 124-144 2008 54 Journal of Systems Architecture - Embedded Systems Design 1-2 http://dx.doi.org/10.1016/j.sysarc.2007.05.002 db/journals/jsa/jsa54.html#StuijkB08