Liveness vs Safety - A Practical Viewpoint. - B. A. Krishna; Jonathan Michelson; Vigyan Singhal; Alok Jain (Haifa Verification Conference, 2011)

Compositional Reasoning Gotchas in Practice. - Chirag Agarwal; Paul Hylander; Yogesh Mahajan; Jonathan Michelson; Vigyan Singhal (FMCAD, 2015)