A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. - Mira Balaban; Phillipa Bennett; Khanh-Hoang Doan; Geri Georg; Martin Gogolla; Igal Khitron; Michael Kifer (OCL@MoDELS, 2016)

Multilevel Modeling and Reasoning with FOML. - Mira Balaban; Igal Khitron; Michael Kifer (SwSTE, 2016)

Formal Executable Theory of Multilevel Modeling. - Mira Balaban; Igal Khitron; Michael Kifer; Azzam Maraee (CAiSE, 2018)

Multilevel modeling: what's in a level? A position paper. - Mira Balaban; Igal Khitron; Michael Kifer; Azzam Maraee (MoDELS (Workshops), 2018)

Context-aware factors in rearchitecting two-level models into multilevel models. - Mira Balaban; Igal Khitron; Azzam Maraee (MoDELS (Workshops), 2018)

Logic-based Software Modeling with FOML. - Mira Balaban; Igal Khitron; Michael Kifer (J. Object Technol., 2020)

Mediation-based MLM in FOModeLer. - Mira Balaban; Igal Khitron; Azzam Maraee; Michael Kifer (MoDELS (Companion), 2022)

Accidental complexity in multilevel modeling revisited. - Mira Balaban; Igal Khitron; Azzam Maraee (Softw. Syst. Model., 2022)