1. DevOps: A Software Architect's Perspective;Bass,2015
2. Key-abs: a deductive verification tool for the concurrent modelling language ABS;Din,2015
3. SACO: Static Analyzer for Concurrent Objects;Albert,2014
4. A declarative approach to automated configuration;Hewson,2012