Formal Distributed Port-Hamiltonian Representation of Field Equations | IEEE Conference Publication | IEEE Xplore