Meng, Y. K.; Rahman, M. Z.; Lee, S. P. Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method. MJCS 2000, 13, 76-83.