Ivor Bosloper Johanneke Siljee Jos Nijhuis Explicit Models for Dynamic Software. 293-294 2005 conf/wicsa/2005 WICSA http://doi.ieeecomputersociety.org/10.1109/WICSA.2005.31 db/conf/wicsa/wicsa2005.html#BosloperSN05