Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. - Gladigau, Jens; Haubelt, Christian; Teich, Jürgen (2008)