Formal description of manufacturing systems: an experiment with Estelle