@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},
}