Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
Browse the full EMSOFT paper archive.