Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future

@inproceedings{Leveson-al:FSE99,
  author    = {Nancy G. Leveson and
               Mats Per Erik Heimdahl and
               Jon Damon Reese},
  title     = {Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {127--145},
  series    = {LNCS},
  volume    = {1687},
  publisher = {Springer},
  year      = {1999},
  doi       = {10.1007/3-540-48166-4\_9},
}