Experience report: using RESOLVE/C++ for commercial software. - Joseph E. Hollingsworth; Lori Blankenship; Bruce W. Weide (SIGSOFT FSE, 2000)