Combining simulation and formal methods for system-level performance analysis