@InProceedings{	  inp:GayMantelSprick2011a,
  author	= {Richard Gay and Heiko Mantel and Barbara Sprick},
  title		= {Service Automata},
  booktitle	= {Pre-Proceedings of the 8th International Workshop on
		  Formal Aspects of Security and Trust (FAST 2011)},
  year		= 2011,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/2011-FAST-GayMantelSprick-ServiceAutomata.pdf}
}