Rhapsody: A Complete Life-Cycle Model-Based Development System. - Eran Gery; David Harel; Eldad Palachi (IFM, 2002)

Simulation of cyber physical models using SysML and numerical solvers. - Eldad Palachi; Chaim Cohen; Takashi Sakairi (SysCon, 2013)