Interoperability In An Electrified Pavement System: A Model-Based Systems Engineering Perspective