Sven Apel Thomas Leich Gunter Saake Aspect Refinement and Bounding Quantification in Incremental Designs. 796-804 2005 conf/apsec/2005 APSEC https://doi.org/10.1109/APSEC.2005.42 https://doi.ieeecomputersociety.org/10.1109/APSEC.2005.42 db/conf/apsec/apsec2005.html#ApelLS05