Ursula Hinkel Katharina Spies Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. 251-261 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#HinkelS97