University of Science and Technology, Daejeon, Republic of Korea · Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea · Pusan National University, Busan, Republic of Korea +1
Bonfiglioli Engineering s.r.l. · Department of Engineering, University of Ferrara, Via Saragat 1, 44122 Ferrara, Italy · NAIS s.r.l., Via Maria Callas 4, 40131 Bologna, Italy
†Faculty of Mechanical Engineering, Technion Israel Institute of Technology, Haifa, Israel. · ‡Corresponding author. · §The Andrew and Erna Viterbi Faculty of Electrical & Computer Engineering, Technion Israel Institute of Technology, Haifa, Israel. +2
School of Computer Science, Peking University, Beijing, China · 2National Engineering Research Center for Software Engineering, Peking University, Beijing, China · 3Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China +5