Klein, Amit et al. 1999. “A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software”. In FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, eds. Jeannette M Wing, Woodcock, Jim , and Davies, Jim . Springer, p. 173–194. https://doi.org/10.1007/3-540-48119-2_12.