A System Method for the Synthesis of Control Parts Defined by Grafcet. - Vincent Olive; Denis Rouquier (IFIP Congress, 1983)