A formal verification technique for embedded software. - Olivier Thiry; Luc J. M. Claesen (ICCD, 1996)