Performance effects of formal modeling language differences: a combined abstraction level and construct complexity analysis | IEEE Journals & Magazine | IEEE Xplore