Process Algebra-Based Description for Software Requirement | IEEE Conference Publication | IEEE Xplore