Christopher Colby Patrice Godefroid Lalita Jategaonkar Jagadeesan Automatically Closing Open Reactive Programs. 345-357 1998 PLDI db/conf/pldi/pldi98.html#ColbyGJ98