DOI,IST REx ID,Title of publication
10.1109/32.489079,4611,Automatic symbolic verification of embedded systems