Deakstadieđáhus: Engineering multi-robot mission coordination in the service robot domain