SLIC: A specification language tbr interface checking (2001)

by T Ball, S K Rajamani