Software and systems modeling (Springer, 2002)