Boender, J. Formal Verification of a Theory of Packages. ECEASST 2013, 48.