Grafcet: a powerful tool for specification of logic controllers - Control Systems Technology IEEE Transactions on