Collective Specification and Verification of Behavior Models and Object-oriented Implementations. - Qing Yi; Jianwei Niu 001; Anitha R. Marneni (ICSOFT (2), 2011)