Discrete control for safe execution of IT automation workflows (2007)

by Y Wang, T Kelly, S Lafortune
Venue:in ACM EuroSys Conference