From TiMo to Event-B: Event-Driven Timed Mobility (BiBTeX)

@InProceedings{ciobanu14:_from_timo_event_b,
  author = 	 {Gabriel Ciobanu and Thai Son Hoang and Alin Stefanescu},
  title = 	 {From {TiMo} to {Event-B}: Event-Driven Timed Mobility},
  booktitle = 	 {Proceedings of the 19th IEEE International Conference on Engineering of Complex Systems (ICECCS 2014)},
  pages = 	 {1--10},
  year = 	 2014,
  month = 	 aug,
  address = 	 {Tianjin, China},
  publisher = 	 {IEEE Computer Society},
  note = 	 {To appear. \textcolor{red}{Best paper award}}
}