Gezgin, Tayfun, 		Henkler, Stefan, 		Rettberg, Achim, E 		Stierand, Ingo.
" Abstraction Techniques for Compositional State-Based Scheduling Analysis" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (5 novembro 2012)