Yasushi Wakahara;Atsushi Ito
Univ. of California, San Diego;Nagoya Univ., Nagoya, Japan
Escort: An Environment for Specifying Communication Requirements
IEEE Software