Olivier Thiry, Luc J. M. Claesen. A formal verification technique for embedded software. In 1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings. pages 352-357, IEEE Computer Society, 1996. [doi]
Abstract is missing.