Formal validation of viewpoint specifications

@article{Ainsworth1996FormalVO,
  title={Formal validation of viewpoint specifications},
  author={Mike Ainsworth and Steve Riddle and Peter J. L. Wallis},
  journal={Software Engineering Journal},
  year={1996},
  volume={11},
  pages={58-66}
}