On the verification of asynchronous parameterized networks of communicating processes by model checkingстатья