BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes | IEEE Conference Publication | IEEE Xplore