He, J., Qin, S., & Sherif, A. (2006, February). Constructing Property-Oriented Models for Verification. Presented at First International Symposium on Unifying Theories of Programming (UTP 2006), County Durham, UK