Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline. Formalization of the responsive and formal design process using category theory. In 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018. pages 1-8, IEEE, 2018. [doi]
Abstract is missing.