Herausforderungen in der Laufzeitdarstellung von Anforderungen für eingebettete Systeme.