"Abstract Animator for Temporal Specifications: Application to TLA."

Dominique Cansell, Dominique Méry (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics