"Understanding and Comparing Model-Based Specification Notations."

Jianwei Niu, Joanne M. Atlee, Nancy A. Day (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics