"Alternating the Temporal Picture for Safety."

Zohar Manna, Henny Sipma (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics