On the use of specifications styles for automated protocolimplementation from LOTOS to C