Contract-based slicing helps on safety reuse - Areias, Sérgio (2010)