Formalization of the responsive and formal design process using category theory | IEEE Conference Publication | IEEE Xplore