ROSMC: A High-Level Mission Operation Framework for Heterogeneous Robotic Teams | IEEE Conference Publication | IEEE Xplore