System design : A practical guide with specC - Gerstlauer, Andreas; Dömer, Reiner; Peng, Junyu; Gajski, Daniel D (Kluwer Academic Publishers, 2001)