Raine Kauppinen Juha Taina RITA Environment for Testing Framework-based Software Product Lines. 58-69 2003 conf/splst/2003 SPLST db/conf/splst/splst2003.html#KauppinenT03