A formalized abstract component object model - Z-COM | IEEE Conference Publication | IEEE Xplore