Model generation in electronic design - Bergé, Jean-Michel; Levia, Oz; Rouillard, Jacques (Kluwer Academic, 1995)