Verfahren zur Behandlung zeitlicher Beziehungen in Echtzeitexpertensystemen und zur Integration wissensbasierter Komponenten in Automatisierungssysteme | lit.salon