@misc(bibliographystylewebpage,
 title        = {EDF dependability analysis tools},
 url          = {http://sourceforge.net/projects/visualfigaro/},
)
@inproceedings(CIEM,
 author       = {M. Bouissou},
 year         = {2005},
 title        = {Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R\&D},
 booktitle    = {CIEM 2005},
 address      = {Bucharest},
)
@article(BouissouBon2003,
 author       = {M. Bouissou and J.-L. Bon},
 year         = {2003},
 title        = {A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes},
 journal      = {Reliability Engineering and System Safety},
 volume       = {Vol. 82},
 pages        = {149--163},
 doi          = {10.1016/S0951-8320(03)00143-1},
)
@inproceedings(Bouissou1991,
 author       = {M. Bouissou and H. Bouhadana and M. Bannelier and N. Villatte},
 year         = {1991},
 title        = {Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools},
 booktitle    = {Safecomp'91},
 address      = {Trondheim (Norway)},
)
@inproceedings(consistency,
 author       = {M. Bouissou and J.-C. Houdebine},
 year         = {2002},
 title        = {Inconsistency detection in KB3 models},
 booktitle    = {ESREL 2002},
 address      = {Lyon (France)},
)
@phdthesis(Brameretthesis2015,
 author       = {P.-A. Brameret},
 year         = {2015},
 title        = {Assessment of reliability indicators from automatically generated partial Markov chains},
 school       = {LURPA},
 address      = {{\'E}cole normale sup{\'e}rieure de Cachan},
)
@inproceedings(K6,
 author       = {T. Chaudonneret and T. Moreau and C. Monnier},
 year         = {2016},
 title        = {L'outil K6 pour les {\'e}tudes de s{\^u}ret{\'e} de fonctionnement des r{\'e}seaux {\'e}lectriques industriels},
 publisher    = {Colloque Lambda-mu 2017},
 address      = {St Malo (France)},
 doi          = {10.4267/2042/61804},
)