Semantic properties of /spl mu/-charts | IEEE Conference Publication | IEEE Xplore