Yan Jin Charles Lakos Robert Esser Modular Consistency Analysis of Component-Based Design. 187-208 2004 36 Journal of Research and Practice in Information Technology 3 db/journals/acj/acj36.html#JinLE04