TITLE : Specification and implementation of demonstrators for the case studies AUTHOR(S) : Elgner J, Gnesi S, Koch N, Mayer P TYPE : Contribution to book YEAR : 2011 CODE : 203872 *** DO NOT EDIT THIS FILE ***