Gaining Insight into Executable Models during Runtime: Architecture and Mappings | IEEE Journals & Magazine | IEEE Xplore