Modelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * PropertiesAuthorsS. Ali and T. YueStatusPublishedPublication typeTalks InvitedYear of publication2015JournalEricsson, SwedenPublisher-Citation key14111Google Scholar BibTex