Statistics for Contribution to the Specification and Formal Analysis of Cyber-Physical Systems: Application to Industry 4.0