Constant, et al.. Integrating Formal Verification and Conformance Testing for Reactive Systems. Institute of Electrical and Electronics Engineers (IEEE), 2007, doi:10.1109/tse.2007.70707.