How to bridge the abstraction gap in system level modeling and design. - A. Bernstein; M. Burton; Frank Ghenassia (ICCAD, 2004)