Title: A resource allocation model for a weapon system manager