An Automatic Implementation Method of Protocol Specifications in LOTOS