TY  - RPRT
TI  - Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future
AU  - Leveson, Nancy G.
AU  - Heimdahl, Mats P. E.
AU  - Reese, Jon Damon
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/19990080906
ID  - 19990080906
ER  -