Wolfgang Grieskamp Nicolas Kicillof Dave MacDonald Alok Nandan Keith Stobie Fred L. Wurden Model-Based Quality Assurance of Windows Protocol Documentation. 502-506 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.50 conf/icst/2008 db/conf/icst/icst2008.html#GrieskampKMNSW08