Experience report: Formal verification and testing in the development of embedded software | IEEE Conference Publication | IEEE Xplore