A Safety Licensable Computing Architecture
Wolfgang A. Halang, BERND J. KRÄMER, Soon-Key Jung, Johan J Scheepstra · 1993
State-of-the-art in high integrity computing programmable logic controllers a safety licensable computing system detailed hardware description rigorous firmware development high integrity application software.