Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System