A formal model for SME network performance understanding