Ročkai, P.; Barnat, J.; Brim, L. Model Checking C++ With Exceptions. ECEASST 2014, 70.