Perspectives of systems informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / - Pnueli, Amir,; Virbitskaite, Irina.; Voronkov, Andrei, (Springer,)