HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. - Seung Yeob Shin; Karim Chaouch; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (MoDELS, 2018)

Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems. - Seung Yeob Shin; Karim Chaouch; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (J. Syst. Softw., 2021)