Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo. Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. STTT, 22(1):33-34, 2020. [doi]
Abstract is missing.