A general theory of composition for a class of "possibilistic" properties | IEEE Journals & Magazine | IEEE Xplore