Jens Gladigau Christian Haubelt Jürgen Teich Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. 1-6 2008 FDL http://dx.doi.org/10.1109/FDL.2008.4641412 conf/fdl/2008 db/conf/fdl/fdl2008.html#GladigauHT08