_id,doi,title
4616,10.1109/REAL.1993.393520 ,Automatic symbolic verification of embedded systems