Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems. - Odellia Boni; Fabiana Fournier; Nir Mashkif; Yehuda Naveh; Aviad Sela; Uri Shani; Zvi Lando; Alon Modai (IAAI, 2012)

Seamless requirements flow down from system to software components in a cyber physical system. - Michael Winokur; Zvi Lando; Alon Modai (MECO, 2018)