A modal /spl mu/-calculus for durational transition systems | IEEE Conference Publication | IEEE Xplore