A Methodology and Algebra for Documenting Continuous Process Control Systems | IEEE Conference Publication | IEEE Xplore