a tool for runtime-checking temporal assertions (2005)

by J-lo