Grafcet to Arduino: Edit and Upload Grafcets on an Arduino Boards | IEEE Conference Publication | IEEE Xplore