Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker. Formally Verified Firmware Modules for Industrial Process Automation. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 206-218, Springer, 1995. [doi]
Abstract is missing.