@inproceedings{wang2009,
  title = "Checking Model Consistency using Data-Flow Testing",
  author = "Chen-Wei Wang and Alessandra Cavarra",
  year = "2009",
  booktitle = "Proceedings of APSEC'09: 16th Asia-Pacific Software Engineering Conference",
  publisher = "IEEE",
}