Assume−Guarantee Validation for STE Properties within an SVA Environment - Khasidashvili, Z; Gavrielov, G; Melham, T (IEEE, 2009)