A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.