Model Generation In Electronic Design by Jean-Michel Berge & Jacques Rouillard