Formal POD Design