Diffusible ligand and lateral inhibition dynamics for pattern formation