P. Ročkai, J. Barnat, and L. Brim, “Model Checking C++ with Exceptions”, ECEASST, vol. 70, Nov. 2014.