Model Checking a C++ Software Framework, a Case Study - Lång, John (arXiv.org)