Clélio Feitosa Glaucia Peres Alexandre Mota Unifying Models of Test Cases and Requirements. 113-126 2008 CIbSE conf/cibse/2008 db/conf/cibse/cibse2008.html#FeitosaPM08