Selecting a model interchange format: the SPOOL case study | IEEE Conference Publication | IEEE Xplore