8Cimatti A, Clarke E, Giunchiglia F, et al. NuSMV: a new symbolic model checker[J]. Inte-Rnational Journal on Software Tools for Tech-nology Transfer, 2000,2 (4) :410-425.
9Cicirelli F, Furfaro A, Nigro L, et al. Model checking time-dependent system specifications using time stream petri nets and vppaal[J]. Applied mathematics and computation, 2012,218(16) :8160-8186.
10Mathieu S, Martens D E, Beuvery E C. Process ana- lytical technology(PAT) tools for the cultivation step in biopharmaceutical production[J]. Engineering in life sciences, 2013, 13(3) :212-228.