Shinjiro Kakita Yosinori Watanabe Douglas Densmore Abhijit Davare Alberto L. Sangiovanni-Vincentelli Functional Model Exploration for Multimedia Applications via Algebraic Operators. 229-238 2006 conf/acsd/2006 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.8 db/conf/acsd/acsd2006.html#KakitaWDDS06