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