Polyinstantiation: an inevitable part of a multilevel world | IEEE Conference Publication | IEEE Xplore