000862557 001__ 862557 000862557 005__ 20251007120728.0 000862557 0247_ $$2ISSN$$a2169-3536 000862557 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85144042484 000862557 0247_ $$2doi$$a10.1109/ACCESS.2022.3225736 000862557 0247_ $$2datacite_doi$$a10.18154/RWTH-2023-00543 000862557 0247_ $$2WOS$$aWOS:000894786600001 000862557 037__ $$aRWTH-2023-00543 000862557 041__ $$aEnglish 000862557 082__ $$a621.3 000862557 1001_ $$0P:(DE-82)IDM04439$$aMroß, Robin$$b0$$eCorresponding author$$urwth 000862557 245__ $$aTransformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model$$honline 000862557 260__ $$aNew York, NY$$bIEEE$$c2022 000862557 3367_ $$00$$2EndNote$$aJournal Article 000862557 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal$$xReview Article 000862557 3367_ $$2BibTeX$$aARTICLE 000862557 3367_ $$2DRIVER$$aarticle 000862557 3367_ $$2DataCite$$aOutput Types/Journal article 000862557 3367_ $$2ORCID$$aJOURNAL_ARTICLE 000862557 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de 000862557 591__ $$aGermany 000862557 7001_ $$00000-0002-3507-2851$$aSchnakenbeck, Aron$$b1 000862557 7001_ $$0P:(DE-82)IDM03434$$aVölker, Marcus$$b2$$urwth 000862557 7001_ $$00000-0002-1922-654X$$aFay, Alexander$$b3 000862557 7001_ $$0P:(DE-82)IDM06137$$aKowalewski, Stefan$$b4$$urwth 000862557 773__ $$0PERI:(DE-600)2687964-5$$a10.1109/ACCESS.2022.3225736$$p125652-125665$$tIEEE access$$v10$$x2169-3536$$y2022 000862557 8564_ $$uhttps://publications.rwth-aachen.de/record/862557/files/862557.pdf$$yOpenAccess 000862557 909CO $$ooai:publications.rwth-aachen.de:862557$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery 000862557 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04439$$aRWTH Aachen$$b0$$kRWTH 000862557 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03434$$aRWTH Aachen$$b2$$kRWTH 000862557 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)000779$$aRWTH Aachen$$b4$$kRWTH 000862557 9141_ $$y2022 000862557 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0 000862557 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology$$d2022-11-11 000862557 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0 000862557 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bIEEE ACCESS : 2021$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0501$$2StatID$$aDBCoverage$$bDOAJ Seal$$d2022-06-13T11:44:26Z 000862557 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0500$$2StatID$$aDBCoverage$$bDOAJ$$d2022-06-13T11:44:26Z 000862557 915__ $$0StatID:(DE-HGF)0700$$2StatID$$aFees$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 000862557 915__ $$0StatID:(DE-HGF)0030$$2StatID$$aPeer Review$$bDOAJ : Blind peer review$$d2022-06-13T11:44:26Z 000862557 915__ $$0StatID:(DE-HGF)0561$$2StatID$$aArticle Processing Charges$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)1230$$2StatID$$aDBCoverage$$bCurrent Contents - Electronics and Telecommunications Collection$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2022-11-11 000862557 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2022-11-11 000862557 9201_ $$0I:(DE-82)122810_20140620$$k122810$$lLehrstuhl für Informatik 11 (Embedded Software)$$x0 000862557 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000862557 961__ $$c2023-01-13T13:34:39.631486$$x2023-01-13T13:28:35.243284$$z2023-01-16 000862557 9801_ $$aFullTexts 000862557 980__ $$aI:(DE-82)120000_20140620 000862557 980__ $$aI:(DE-82)122810_20140620 000862557 980__ $$aUNRESTRICTED 000862557 980__ $$aVDB 000862557 980__ $$ajournal