Generating interaction test cases for mobile phone systems from use case specifications
the theory and practice of concurrency .