Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery | IEEE Conference Publication | IEEE Xplore