Fuzzy classification context for the responsive and formal design process. - Solomon Gebreyohannes; William W. Edmonson; Albert C. Esterline; Abdollah Homaifar; Nadew Kibret (SysCon, 2017)

Category Theoretic Based Formalization of the Verifiable Design Process. - Nadew Kibret; William W. Edmonson; Solomon Gebreyohannes (SysCon, 2019)

Maintaining the Consistency of SysML Model Exports to XML Metadata Interchange (XMI). - Holly A. H. Handley; Wael Khallouli; Jingwei Huang 002; William Edmonson; Nadew Kibret (SysCon, 2021)

Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design. - Jingwei Huang 002; Wael Khallouli; Holly A. H. Handley; William W. Edmonson; Trisha Ahmed; Nadew Kibret (SysCon, 2021)