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)