Scalable Differential Analysis of Large Process Algebra Models | IEEE Conference Publication | IEEE Xplore