A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems | Read Paper on Bytez