@inproceedings{ZB-IH-JH-LP:AE-07,
  author    = {Bechir Zalila and Irfan Hamid and Jérôme Hugues and Laurent Pautet},
  title     = {{Generating Distributed High Integrity Applications from their Architectural Description}},
  booktitle = {{12th International Conference on Reliable Software Technologies (Ada-Europe)}},
  publisher = {Springer},
  address   = {Geneva, Switzerland},
  volume    = {Lecture Notes in Computer Science},
  number    = {4498},
  pages     = {155-167},
  year      = {2007},
  month     = {jun},
  doi       = {10.1007/978-3-540-73230-3_12},
  note      = {Ranked A on CORE},
}