Gezgin, T., 		Henkler, S., 		Rettberg, A., & 		Stierand, I.
(2012).
 Abstraction Techniques for Compositional State-Based Scheduling Analysis.
In <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 166-171). Porto Alegre: SBC.