Fig.2.automatonobtainedfromthetranslationofthedeclaremodelinfig.1protocols published presentations and documents on DocSlides.