Time for Verification : Essays in Memory of Amir Pnueli - Zohar Manna, Doron A. Peled ((Lecture Notes in Computer Science))