Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud. - Ian Unruh; Alexandru G. Bardas; Rui Zhuang; Xinming Ou; Scott A. DeLoach (LISA, 2014)