@misc{indiciaef903a26cb154, title = {Software Safety Assurance of Programmable Logic}, author = {Berens, Kalynnda}, year = {2002}, url = {https://ntrs.nasa.gov/citations/20040016077}, note = {Source identifier: 20040016077} }