Tayfun Gezgin, Stefan Henkler, Achim Rettberg, and Ingo Stierand. 2012.
 Abstraction Techniques for Compositional State-Based Scheduling Analysis. In <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 05, 2012, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 166-171.