@inproceedings{CTT100636067,
  author = {Shin-ya Nishizaki and Takuya Ohata},
  title = {Real-Time Model Checking for Regulatory Compliance},
  booktitle = {Mobile Communication and Power Engineering, Communications in Computer and Information Science},
  year = 2013,
}

@inproceedings{CTT100596925,
  author = {Ritsuya Ikeda and Takuya Oohata and Shin-ya Nishizaki},
  title = {Formalization of Broadcast Communication in Process Calculus and Its Model Checking},
  booktitle = {Proceedings of the 4th International Conference on Software and Data Technologies},
  year = 2009,
}