SmartTies - Management of Safety-Critical Developments
@inproceedings{ADHLM-12-a,
  author        = {Serge Autexier and Dominik Dietrich and Dieter Hutter and Christoph Lüth and Christian Maeder},
  editor        = {Tiziana Margaria and Bernhard Steffen },
  booktitle     = {Proceedings 5th International Symposium On Leveraging Applications
of Formal Methods, Verification and Validation (ISoLa'12)},
  title         = {SmartTies - Management of Safety-Critical Developments},
  series        = {LNCS},
  publisher     = {Springer},
  address       = {Amirandes, Heraclion, Crete},
  month         = {october},
  year          = {2012},
}