Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification