Statistics for Formal models and analysis for software component interaction testing