P. Bishop and R. Bloomfield, A Methodology for Safety Case Development, Safety and Reliability, vol.20, issue.1, 1998.
DOI : 10.1080/09617353.2000.11690698

M. Leucker and C. Schallhart, A brief account of runtime verification, the 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

R. Nelson, Fault Ride-Through trip curves, 2012 IEEE Power and Energy Society General Meeting, pp.1-4, 2012.
DOI : 10.1109/PESGM.2012.6343983

R. J. Nelson, H. Ma, and N. M. Goldenbaum, Fault ride-through capabilities of siemens full-converter wind turbines, 2011 IEEE Power and Energy Society General Meeting, pp.1-5, 2011.
DOI : 10.1109/PES.2011.6039729