DiVinE 2.0: High-Performance Model Checking | IEEE Conference Publication | IEEE Xplore