Multithreaded Reactive Programming—the Kiel Esterel Processor | IEEE Journals & Magazine | IEEE Xplore