@inproceedings{CK01,
	author	    =   "H. Chockler and O. Kupferman",
        title       =   "Coverage of Implementations by Simulating
                         Specifications",  
        booktitle = 	"2nd {IFIP} International Conference on 
                         Theoretical Computer Science", 
        pages       =   "?",
        publisher   =   "Kluwer Academic Publishers",
        year        =   "2002"
}