@misc{indiciae9bda160ef644,
  title = {Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation},
  author = {Lester Lobo and James D. Arthur},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0503002},
  note = {Source identifier: cs/0503002}
}