"RealSpec: an Executable Specification Language for Modeling Resources."

Amir A. Khwaja, Joseph E. Urban (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics