“...International Conference on Computer-Aided Verification Haifa, Izrael)...”