Daniel Amyot Alan W. Williams System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers 3319 3-540-24561-8 SAM Lecture Notes in Computer Science Springer 2005 db/conf/sam/sam2004.html