Nannan He, Michael S. Hsiao: Bounded model checking of embedded software in wireless cognitive radio systems. ICCD 2007: 19-24