Model checking /spl mu/-calculus in well-structured transition systems | IEEE Conference Publication | IEEE Xplore