Cancian, R., 		Stemmer, M., 		Schulter, A., & 		Frölich, A.
(2007).
 A Tool to Support the Automated Design of Embedded Computational Systems.
In <em>Proceedings of the 4th Workshop on Operating Systems</em>, (pp. 805-815). Porto Alegre: SBC.