Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand. Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems. J. Internet Services and Applications, 12(1):2, 2021. [doi]
Abstract is missing.