Testing Time Goal-Driven Requirements with Model Checking Techniques.

Gregorio Díaz Elena Navarro María-Emilia Cambronero Valentin Valero Fernando Cuartero Testing Time Goal-Driven Requirements with Model Checking Techniques. 503-514 2007 ECBS http://dx.doi.org/10.1109/ECBS.2007.70 conf/ecbs/2007 db/conf/ecbs/ecbs2007.html#DiazNCVC07