@Proceedings{sirva,
  year = 	 {2014},
  title = {Special Section on Runtime Verification and Analysis},
  author = {},
  editor = 	 {Eric Bodden and Shahar Maoz},
  series = 	 {Transactions on Aspect-Oriented Software Development (TAOSD)},
  publisher = {Springer},
}