When models collide: lessons from software systems analysis | IEEE Journals & Magazine | IEEE Xplore