@inproceedings{BHKS08d,
  author      = {H. Boudali and P.Crouzen and and B.R.H.M. Haverkort and 
                 M. Kuntz and M.I.A.  Stoelinga}
  title       = { Rich Interfaces for Dependability: Compositional Methods
  for Dynamic Fault Trees and Arcade models},
  year        = {2008},
  booktitle   = {Proceedings of the 2nd International Workshop on Foundations of Interface theories (FIT'08)},
}