Model generation by the exhaustive search for embedded assembly programs and application to model checking | IEEE Conference Publication | IEEE Xplore