A meta-model based environment for GRAFCET specifications | IEEE Conference Publication | IEEE Xplore