Jorge Cuéllar Isolde Wildgruber The Steam-Boiler Problem - A TLT Solution. 165-183 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#CuellarW95