Improving Explicit-State Model Checking for B and Event-B. - Ivaylo Miroslavov Dobrikov (2018)