SPECC : Specification language and methodology - Gajski, Daniel D (Kluwer Academic Publishers, 2000)