Discrete control for safe execution of IT automation work ows (2007)

by Y Wang, T Kelly, S Lafortune
Venue:In EuroSys