Yan Jin Charles Lakos Robert Esser Component-Based Design and Analysis: A Case Study. 126- 2003 conf/sefm/2003 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236214 db/conf/sefm/sefm2003.html#JinLE03