Eun-Young Kang Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. 39-41 2004 conf/icse/2004 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317415 db/conf/icse/icse2004.html#Kang04