Yin Wang Terence Kelly Stéphane Lafortune Discrete control for safe execution of IT automation workflows. 305-314 2007 conf/eurosys/2007 EuroSys http://doi.acm.org/10.1145/1272996.1273028 db/conf/eurosys/eurosys2007.html#WangKL07