Model Generation in Electronic Design - Bergé, Jean-Michel; Levia, Oz; Rouillard, Jacques (Springer US, 1995)