Orna Kupferman Moshe Y. Vardi Carsten LutzRajeev Alur Thomas HenzingerMartin LangeChristof Löding Nir Piterman Wolfgang Thomas Amir Pnueli E. Allen Emerson Rupak Majumdar Eugene Asarin Javier Esparza Kim Larsen People and model checking Most cited authors in computer Science DBLP Bibliography