"Computing the Structural Difference between State-Based Models."

Kirill Bogdanov, Neil Walkinshaw (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics