Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical SystemsAuthorsT. Ma, S. Ali and T. YueStatusPublishedPublication typePresentationYear of publication2020JournalIEEE International Conference on Software Testing, Verification and Validation (ICST 2020)Publisher-Citation key15844Google Scholar BibTex