Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model