Verification for Monitoring Requirements of Train Monitoring Systems in Event-B (BiBTeX)

@Article{naoto13:_verif_monit_requir_train_monit,
  author = 	 {Naoto Sato and Thai Son Hoang and David Basin and Hironobu Kuruma},
  title = 	 {Verification for Monitoring Requirements of Train Monitoring Systems in {Event-B}},
  journal = 	 {Information Processing Society of Japan},
  year = 	 2013,
  month = 	 jun,
  volume = 	 54,
  number = 	 6,
  pages =        {1738--1750},
  note = 	 {\url{http://id.nii.ac.jp/1001/00092697/}}
}