Bounded model checking of embedded software in wireless cognitive radio systems. - He, Nannan; Hsiao, Michael S. (2007)