Franz Huber Bernhard Schätz Alexander Schmidt Katharina Spies AutoFocus: A Tool for Distributed Systems Specification. 467-470 1996 conf/ftrtft/1996 FTRTFT db/conf/ftrtft/ftrtft1996.html#HuberSSS96