1. da Silva Jr., J.L., Shamberger, J., Ammer, M.J., Guo, C., Li, S., Shah, R., Tuan, T., Sheets, M., Rabaey, J.M., Nikolic, B., Sangiovanni-Vincentelli, A., Wright, P.: Design methodology for pico-radio networks. In: Proc. Design Automation and Test in Europe, pp. 314–323. IEEE, Los Alamitos (2001)
2. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. Foundations of Software Engineering, pp. 109–120. ACM, New York (2001)
3. Lecture Notes in Computer Science;L. Alfaro de,2001
4. Ehrenfeucht, A., Mychielski, J.: Positional strategies for mean-payoff games. Int. J. Game Theory 8, 109–113 (1979)
5. Emerson, E.A., Jutla, C.S.: Tree automata, μ-calculus, and determinacy. In: Proc. Foundations of Computer Science, pp. 368–377. IEEE, Los Alamitos (1991)