Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application