Interchange Formats for Performance Models: Experimentation and Ouput | IEEE Conference Publication | IEEE Xplore