Gezgin, T., 		Henkler, S., 		Rettberg, A., & 		Stierand, I.
(2012).
 Abstraction Techniques for Compositional State-Based Scheduling Analysis.
In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, (pp. 166-171). Porto Alegre: SBC.