Model-Based Analysis of an Arc Protection and an Emergency Cooling System -- MODSAFE 2007 Working Report (2008)
[BibTex]