Christ T. Sennett
-
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering