G. V. Collis;E. J. Kappos
-;-
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering