Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics

Alex Blekhman, Juan Pablo Wachs, Dov Dori. Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 45(11):1448-1458, 2015. [doi]

Abstract

Abstract is missing.