@TechReport{FraSey13,
  author = 	 {Francalanza, Adrian and Seychell, Aldrin},
  title = 	 {Synthesising Correct Concurrent Runtime Monitors in Erlang},
  institution    = {Department of Computer Science, University of Malta},
  note           = {Available from \verb+http://www.um.edu.mt/ict/cs/research/technical_reports+},
  number         = {CS2013-01},
  Year           = {2013}
}