@INPROCEEDINGS{Kwi16b,

  author = {Marta Kwiatkowska},
  title = {Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems},
  booktitle = {2016 Science of Security for Cyber-Physical Systems Workshop ({SOSCYPS})},
  year = {2016},
  address = {New York, NY, USA},
  publisher = {{IEEE}},
  isbn = {978-1-5090-4304-0},
  location = {Vienna, Austra}

}