"Model-Checking of Correctness Conditions for Concurrent Objects."

Rajeev Alur, Kenneth L. McMillan, Doron A. Peled (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics