ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS - Lomuscio,A; Strulo,B; Walker,N; Wu,P (INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013)