Patrick Tullmann Jeff Turner John McCorquodale Jay Lepreau Ajay Chitturi Godmar Back Formal Methods: A Practical Tool for OS Implementors. 20-25 1997 Workshop on Hot Topics in Operating Systems db/conf/hotos/hotos97.html#TullmannTMLCB97