Interfacing Ada with verification languages. - David Leeson; Glenn H. MacEwen; David Andrews (SETA, 1994)