TOWARD FORMAL MODELS AND LANGUAGES FOR VERIFIABLE MULTI-ROBOT SYSTEMS