@inproceedings{CBSA-ATVA14,
  author    = {Marco Bozzano and
               Alessandro Cimatti and
               Cristian Mattarei and
	       Stefano Tonetta},
  title     = {Formal Safety Assessment via Contract-Based Design},
  booktitle = {International Symposium on Automated Technology for Verification and Analysis},
  year      = {2014},
  crossref  = {conf/atva/2014}
}

@proceedings{conf/atva/2014,
  title     = {12th International Symposium on Automated Technology for Verification and Analysis, Sydney, Australia, November 3-7, 2014},
  booktitle = {ATVA},
  year      = {2014},
}