A framework for modeling and simulation of control, navigation, and surveillance for unmanned aircraft separation assurance