Quality Assurance of Agent-Based and Self-Managed Systems - Reiner Dumke; Steffen Mencke; Cornelius Wille (Taylor and Francis, 2009)