Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers - Edmund Clarke, Irina Virbitskaite, Andrei Voronkov ((Lecture Notes in Computer Science))