ECIP2
An
Esprit
project on the definition of a specification language at the requirement level.