Using formalized temporal message- ow diagrams (1995)

by W Citrin, A Cockburn, J von Kanel, R Hauser
Venue:Software Practice and Experience