"Improving symbolic reachability analysis by means of activityprofiles."

Gianpiero Cabodi, Paolo Camurati, Stefano Quer (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics