Mohlalefi Sefika Aamod Sane Roy H. Campbell Monitoring Compliance of a Software System with Its High-Level Design Models. 387-396 1996 ICSE http://portal.acm.org/citation.cfm?id=227726.227810 db/conf/icse/icse96.html#SefikaSC96