Model-checking the preservation of temporal properties upon feature integration.

Dimitar P. Guelev Mark Dermot Ryan Pierre-Yves Schobbens Model-checking the preservation of temporal properties upon feature integration. 53-62 2007 9 STTT 1 http://dx.doi.org/10.1007/s10009-006-0006-x db/journals/sttt/sttt9.html#GuelevRS07