@article{PS16,
  author        = {J. Pang and M. Stoelinga},
  title         = {Preface: Selected and extended papers from ACM SVT 2014},
  journal       = {Science of Computer Programming},
  year          = {2016},
  volume        = {123},
  pages         = {1}
}