TY - JOUR AU - Mroß, Robin AU - Schnakenbeck, Aron AU - Völker, Marcus AU - Fay, Alexander AU - Kowalewski, Stefan TI - Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model JO - IEEE access VL - 10 SN - 2169-3536 CY - New York, NY PB - IEEE M1 - RWTH-2023-00543 SP - 125652-125665 PY - 2022 LB - PUB:(DE-HGF)16 UR - <Go to ISI:>//WOS:000894786600001 DO - DOI:10.1109/ACCESS.2022.3225736 UR - https://publications.rwth-aachen.de/record/862557 ER -