Methods, Tools and Applications - Guenther Ruhe (Taylor and Francis, 2010)