Fig2automatonobtainedfromthetranslationofthedeclaremodelinfig1protocols published presentations and documents on DocSlides.