"SystemCmantic: A high level Modelling and Co-Design Framework."

Lobna Kriaa et al. (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics