A Compositional Approach to Active and Passive Components | IEEE Conference Publication | IEEE Xplore