Reinhard Gotzhein Rick Reed System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers SAM Lecture Notes in Computer Science 4320 Springer 2006 3-540-68371-2 db/conf/sam/sam2006.html