Time for Verification Essays in Memory of Amir Pnueli - Manna, Zohar (Springer-Verlag Berlin Heidelberg, 2010)