Stability and passivity preserving Petrov-Galerkin approximation of linear infinite-dimensional systems.