Nina Amla E. Allen Emerson Kedar S. Namjoshi Richard J. Trefler Visual Specifications for Modular Reasoning about Asynchronous Systems. 226-242 2002 conf/forte/2002 FORTE http://link.springer.de/link/service/series/0558/bibs/2529/25290226.htm db/conf/forte/forte2002.html#AmlaENT02