Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical SystemsAuthorsT. Ma, S. Ali and T. YueStatusPublishedPublication typeJournal ArticleYear of publication2018JournalSoftware and Systems ModelingPublisher SpringerDOI10.1007/s10270-018-00703-yCitation key15105Google Scholar BibTex