Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. - Carla Capellmann; Ralph Demant; Farhad Fatahi-Vanani; Rafael Galvez-Estrada; Ulrich Nitsche; Peter Ochsenschläger (CAV, 1996)