System Analysis and Modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers - Daniel Amyot, Alan W. Williams ((Lecture Notes in Computer Science))