Effiziente Offline-Laufzeitüberprüfung von Verteilten Systemen durch Interaktionsmodelle mit Lifeline-Entfernung.