bennet g.galef and marisa mainardi and paola valsecchi1994 年出版393 页ISBN:3718654571
82 BC-AD 14 A SOURCE-BASED APPROACH2010 年出版426 页ISBN:0415496942
Systems Dependability Assessment Modeling With Graphs and Finite State Automate
Jean-Francois Aubry ; Nicolae Brinzei2015 年出版184 页ISBN:1848217652