Factotum: Automatic and Systematic Sharing Support for Systems Analyzers. - David James Sherman; Nicolas Magnier (TACAS, 1998)