R. Saracco;P. Tilanus
-;-
Escort: An Environment for Specifying Communication Requirements
IEEE Software