Product-Centered Process Description Algebraic Specification of Environment + SCRIPT | IEEE Conference Publication | IEEE Xplore