@article{St2013,
  author = "Sato, Naoto and Hoang, Thai Son and Basin, David and Kuruma, Hironobu",
  title = "{V}erification for {M}onitoring {R}equirements of {T}rain {M}onitoring {S}ystems in {E}vent-{B}",
  journal = "IPSJ journal",
  year = 2013,
  volume = "54",
  number = "6",
  pages = "1738--1750",
}