1. Conjoining specifications;Abadi;ACM Transactions on Programming Languages and Systems,1995
2. Deriving goals from a use-case based requirements specification;Anton;Requirements Engineering,2000
3. The use of goals to surface requirements for evolving systems;Anton,1998
4. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion;Awad,1996
5. Process Algebra;Baeten,1990