Refinement-based approach to reasoning of optimized reactive systemshttp://www.ccs.neu.edu/home/pete/research/cav-2015-skipping.html by mrefj • 8 years ago 3 1 8 years agoCCccs.neu.edu