Perspectives of Systems Informatics - Pnueli, Amir; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei (Springer Berlin Heidelberg, 2010)