Controller Dependability Analysis by Probabilistic Model Checking

Marta Kwiatkowska, Gethin Norman, David Parker
2004 IFAC Proceedings Volumes  
doi:10.1016/s1474-6670(17)36115-3 fatcat:or7rf2hkafhoxmubbouzfobzsa