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