A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems