Charon: declarative provisioning and deployment. - Eelco Dolstra; Rob Vermaas; Shea Levy (RELENG@ICSE, 2013)