Controller dependability analysis by probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker
2007 Control Engineering Practice  
doi:10.1016/j.conengprac.2006.07.003 fatcat:i7ejnerwnvgkfjnmmyskeprcae