(An Example for) Formally Modeling Robot Behavior with UML and OCL | Publicación