Formal Methods in Systems Design (Kluwer Academic Publishers, 2001)