@misc{14111, author = {Shaukat Ali and Tao Yue}, title = {Modelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * Properties}, year = {2015}, journal = {Ericsson, Sweden}, }