System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers - Amyot, Daniel; Williams, Alan W. (Springer Berlin Heidelberg, 2005)