Formal, holarchical representation of tactical behaviors | IEEE Conference Publication | IEEE Xplore