A Parametric Tool for Applied Process Calculi | IEEE Conference Publication | IEEE Xplore