UnProVET: Using Explicit Constraint Propagation to Construct Attack Graphs. - Dmitry Gorbatenko; Alexander A. Semenov; Stepan Kochemazov (MIPRO, 2019)