Formal Specification using Interaction Diagrams | IEEE Conference Publication | IEEE Xplore