"Formal Methods for Systems Engineering Behavior Models."

Charlotte Seidner, Olivier H. Roux (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics