Jiri Barnat: Quo Vadis Explicit-State Model Checking. SOFSEM 2015: 46-57