Reconciling Formal, Multi-Layer, and Hetero-functional Graphs with the Hetero-functional Incidence Tensor | IEEE Conference Publication | IEEE Xplore