@misc{indiciae17504c36cc99,
  title = {Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future},
  author = {Leveson, Nancy G. and Heimdahl, Mats P. E. and Reese, Jon Damon},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990080906},
  note = {Source identifier: 19990080906}
}