Paper for the 27th International Conference on Computer Aided Verification (CAV 2015)