Software and Systems Modeling (Springer Verlag, 2002)