Lothar Thiele Karsten Strehl Dirk Ziegenbein Rolf Ernst Jürgen Teich FunState - an internal design representation for codesign. 558-565 1999 conf/iccad/1999 ICCAD http://portal.acm.org/citation.cfm?id=339492.340077 db/conf/iccad/iccad1999.html#ThieleSZET99