Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics. - Alex Blekhman; Juan P. Wachs; Dov Dori (IEEE Trans. Syst. Man Cybern. Syst., 2015)