Application-oriented Serial Interface Communication Protocols Formal Modeling Method | IEEE Conference Publication | IEEE Xplore