System design : A PRACTICAL GUIDE WITH SPECC. - Gerstlauer, Andreas; Domer, Rainer; Peng, Junyu (Dordrecht : Kluwer Academic Publishers, 2001)