Developing a Dependable Multi-Agent Rover Swarm Using cFS. - Pavlo Vlastos; Irfan Sljivo; Corey Carter; Aaron Woodard (ISSRE (Workshops), 2024)