Automata, Languages, and Programming - Hutchison, David; Kanade, Takeo; Kittler, Josef; Peleg, David; Freivalds, Rusins; Kwiatkowska, Marta; Peleg, David (Springer Berlin Heidelberg, 2013)