Explaining Boolean-Logic Driven Markov Processes using GSPNs | IEEE Conference Publication | IEEE Xplore