"Building Contingencies into Specifications."

Armstrong Nhlabatsi, Robin C. Laney, Bashar Nuseibeh (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics