A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking | IEEE Conference Publication | IEEE Xplore