fig2automatonobtainedfromthetranslationofthedeclaremodelinfig1protocols published presentations and documents on DocSlides.