On Conditions for Modular Verification in Systems of Synchronising Components