@InProceedings{ACPSfm15,
  year		= 2015,
  isbn		= {978-3-319-19248-2},
  booktitle	= {Formal Methods - 20th International Symposium, Oslo, Norway, Proceedings},
  volume	= 9109,
  series	= {LNCS},
  editor	= {Bj{\o}rner, Nikolaj and de Boer, Frank},
  title		= {A Specification Language for Static and Runtime
		  Verification of Data and Control Properties},
  publisher	= {Springer},
  author	= {Ahrendt, Wolfgang and Chimento, JesúsMauricio and Pace,
		  GordonJ. and Schneider, Gerardo},
  pages		= {108--125},
  language	= {English}
}