David A. Naumann Assertion-Based Encapsulation, Object Invariants and Simulations. 251-273 2004 conf/fmco/2004 FMCO http://dx.doi.org/10.1007/11561163_11 db/conf/fmco/fmco2004.html#Naumann04