Rick Buskens Oscar J. Gonzalez Model-Centric Development of Highly Available Software Systems. 163-187 2006 conf/icse/2006wads WADS http://dx.doi.org/10.1007/978-3-540-74035-3_8 db/conf/icse/wads2006.html#BuskensG06