Multi-level operational C2 architecture modeling via hierarchically structured semi-Markov decision processes | IEEE Conference Publication | IEEE Xplore