System design : A PRACTICAL GUIDE WITH SPECC - Gerstlauer, Andreas (Kluwer Academic Publishers, 2001)