June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu: Large-scale formal verification in practice: A process perspective. ICSE 2012: 1002-1011