Verifying trace inclusion between an experimental frame and a model. - Vincent Albert; Alexandre Nketsa; C. Seguin (SpringSim, 2010)