Perspectives of system informatics : 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers - Edmund Clarke, editor ([Springer-Verlag, ], 2012)