Discrete Control for Dependable IT Automation

Information technology (IT) administration is increasingly automated. Workflows—concurrent programs written in very-high-level languages—are an increasingl