Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat: SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. SPIN 2016: 208-213