DOI,IST REx ID,Title of publication
10.1109/REAL.1993.393520 ,4616,Automatic symbolic verification of embedded systems