Integration of Structured Review and Model-based Verification: a Case Study DART /1001/04 Demissie B. Aredo Issa Traore M. Liu Yanguo Hong Ye