An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms | Publicación