An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model. - Lionel C. Briand; Yvan Labiche; Reymes Madrazo-Rivera (ESEM, 2011)