_id,doi,title
4611,10.1109/32.489079,Automatic symbolic verification of embedded systems