Gerstlauer, Andreas System design a practical guide with specC - New York Kluwer Academic 2001 - 255p. : ill. Include index. ISBN: 792373871 Subjects--Topical Terms: System design