AutoFocus: A Tool for Distributed Systems Specification. - Huber, Franz; Schätz, Bernhard; Schmidt, Alexander; Spies, Katharina (1996)