Melchior - showing patterns for networked and concurrent systems