Multilayered Abstractions for Partial Differential Equations