Modeling and analysis of tactical installation protection missions | IEEE Conference Publication | IEEE Xplore